Category:理論計算機科学
弱文脈依存言語
Mildly context-sensitive grammar formalism
クヌース賞
Knuth Prizeデジタル物理学
Digital physics
公理的意味論
Axiomatic semantics
モデル検査
Model checking
並行論理プログラミング
Concurrent logic programming
双模倣性
Bisimulation
ホーン節
Horn clause
部分観測マルコフ決定過程
Partially observable Markov decision process
プログラム意味論
Semantics (computer science)
計算木論理
Computation tree logic
ファジィ論理
Fuzzy logic
失敗による否定
Negation as failure
計算複雑性理論
Computational complexity theory
形式的検証
Formal verification
数学基礎論
Foundations of mathematics
形式手法
Formal methods
マルコフ決定過程
Markov decision processラムダ計算
Lambda calculus