Category:理論計算機科学
デジタル物理学
Digital physics
表明 (プログラミング)
Assertion (software development)
計算論的哲学
Computational philosophy
弱文脈依存言語
Mildly context-sensitive grammar formalism
ゲーム意味論
Game semantics
失敗による否定
Negation as failure
述語変換意味論
Predicate transformer semantics
制約論理プログラミング
Constraint logic programming
モデル検査
Model checking
計算木論理
Computation tree logic
マルコフ決定過程
Markov decision process
グスタフソンの法則
Gustafson's law
クヌース賞
Knuth Prize
形式的検証
Formal verification
並行制約プログラミング
Concurrent constraint logic programming
ロジャー・シャンク
Roger Schank
コンビネータ論理
Combinatory logic
形式言語
Formal languageラムダ計算
Lambda calculus