Similar to 表明_(プログラミング)
表明 (プログラミング)
Assertion (software development)
形式手法
Formal methods
形式的検証
Formal verification
述語変換意味論
Predicate transformer semantics
制約論理プログラミング
Constraint logic programming
双模倣性
Bisimulation
チューリングマシン
Turing machine
不動点コンビネータ
Fixed-point combinator
プログラム意味論
Semantics (computer science)
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming
Mizar
Mizar system
モデル検査
Model checkingラムダ計算
Lambda calculus
論理プログラミング
Logic programming
理論計算機科学
Theoretical computer science
M系列
Maximum length sequence
アルゴリズム
Algorithm▲1 trends
アルファベット (計算機科学)
Alphabet (formal languages)
カリー＝ハワード同型対応
Curry–Howard correspondence
グスタフソンの法則
Gustafson's law
クヌース賞
Knuth Prize
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
計算木論理
Computation tree logic
計算複雑性理論
Computational complexity theory
計算理論
Theory of computation
計算論的哲学
Computational philosophy
形式言語
Formal language