Similar to 項書き換え
合流性
Confluence (abstract rewriting)
帰納言語
Recursive language
帰納的可算言語
Recursively enumerable language
不動点コンビネータ
Fixed-point combinator
Μ再帰関数
General recursive function
DPLLアルゴリズム
DPLL algorithm
形式体系
Formal system構成規則
Formation rule
Mizar
Mizar system
アッカーマン関数
Ackermann function一階述語論理
First-order logic
オートマトン
Automata theory
型付きラムダ計算
Typed lambda calculus
帰納的可算集合
Computably enumerable set
計算可能関数
Computable functionゲーデル数
Gödel numbering原始再帰関数
Primitive recursive function再帰
Recursion
述語論理
Predicate logic
数学基礎論
Foundations of mathematics
文字列書き換え系
Semi-Thue system
Smn定理
Smn theorem
アルゴリズム
Algorithm
ギルモアのアルゴリズム
シークエント計算
Sequent calculus
自己認識論理
Autoepistemic logic
時相論理
Temporal logic
自動推論
Automated reasoning