Similar to 詳細化
構成規則
Formation rule
合流性
Confluence (abstract rewriting)
シークエント計算
Sequent calculus
自己認識論理
Autoepistemic logic
時相論理
Temporal logic
自動推論
Automated reasoning
自動定理証明
Automated theorem proving
充足可能性問題
Boolean satisfiability problem▲1 trends
述語変換意味論
Predicate transformer semantics
仕様記述言語
Specification language
SPINモデルチェッカ
SPIN model checker
制約論理プログラミング
Constraint logic programming
節標準形
双模倣性
Bisimulation
抽象解釈
Abstract interpretation
チューリングマシン
Turing machine▲1 trends
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm
導出原理
Resolution (logic)
表明 (プログラミング)
Assertion (software development)
ビリヤードボール・コンピュータ
Billiard-ball computer
不動点コンビネータ
Fixed-point combinator
不変条件
Invariant (computer science)
プログラム意味論
Semantics (computer science)
プロセス計算
Process calculus
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming
ペトリネット
Petri net
Mizar
Mizar system