Category:理論計算機科学
量子情報科学
Quantum information science
論理プログラミング
Logic programming
カリー＝ハワード同型対応
Curry–Howard correspondence
形式的検証
Formal verification
部分観測マルコフ決定過程
Partially observable Markov decision process
ゲーム意味論
Game semantics
M系列
Maximum length sequence
制約論理プログラミング
Constraint logic programming
並行制約プログラミング
Concurrent constraint logic programming再帰的定義
Recursive definition
公理的意味論
Axiomatic semantics
述語変換意味論
Predicate transformer semantics
アルファベット (計算機科学)
Alphabet (formal languages)
クヌース賞
Knuth Prize
計算複雑性理論
Computational complexity theory
表明 (プログラミング)
Assertion (software development)
計算論的哲学
Computational philosophy
弱文脈依存言語
Mildly context-sensitive grammar formalism
グスタフソンの法則
Gustafson's law
並行論理プログラミング
Concurrent logic programming
ラフ集合
Rough set
双模倣性
Bisimulation
形式言語の階層
失敗による否定
Negation as failure
計算木論理
Computation tree logic
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
Mizar
Mizar system
ホーン節
Horn clause