Similar to 形式仕様記述
合流性
Confluence (abstract rewriting)
シークエント計算
Sequent calculus
自己認識論理
Autoepistemic logic
時相論理
Temporal logic
自動推論
Automated reasoning
自動定理証明
Automated theorem proving
充足可能性問題
Boolean satisfiability problem
述語変換意味論
Predicate transformer semantics
詳細化
Refinement (computing)
SPINモデルチェッカ
SPIN model checker
静的コード解析
Static program analysis
制約論理プログラミング
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)
プログラミングの統一理論
Unifying Theories of Programming
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming
ホーア論理
Hoare logic
Mizar
Mizar system
文字列書き換え系
Semi-Thue system