Similar to 不動点コンビネータ
計算論的哲学
Computational philosophyゲーデル数
Gödel numbering述語論理
Predicate logic相互再帰
Mutual recursion文字列書き換え系
Semi-Thue system領域理論
Domain theoryM系列
Maximum length sequenceアルファベット (計算機科学)
Alphabet (formal languages)クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm形式手法
Formal methods形式的検証
Formal verificationゲーム意味論
Game semantics再帰的定義
Recursive definition述語変換意味論
Predicate transformer semantics数理論理学
Mathematical logic双模倣性
Bisimulationチューリングマシン
Turing machine▲1 trends表明 (プログラミング)
Assertion (software development)プログラム意味論
Semantics (computer science)モデル検査
Model checkingSmn定理
Smn theoremギルモアのアルゴリズム
形式体系
Formal system構成規則
Formation ruleシークエント計算
Sequent calculus自己認識論理
Autoepistemic logic時相論理
Temporal logic自動推論
Automated reasoning