Category:形式手法
チューリングマシン
Turing machine▲1 trends
論理プログラミング
Logic programming
有限オートマトン
Finite-state machine
シークエント計算
Sequent calculus
ホーア論理
Hoare logic
充足可能性問題
Boolean satisfiability problem
形式手法
Formal methods
時相論理
Temporal logic
プログラム意味論
Semantics (computer science)
グレブナー基底
Gröbner basis
自動定理証明
Automated theorem proving
不動点コンビネータ
Fixed-point combinator
ユニフィケーション
Unification (computer science)
自動推論
Automated reasoning
Z言語
Z notation
合流性
Confluence (abstract rewriting)
プロセス計算
Process calculus
詳細化
Refinement (computing)
並行論理プログラミング
Concurrent logic programming
形式体系
Formal system
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm
不変条件
Invariant (computer science)
導出原理
Resolution (logic)
Planner
Planner (programming language)
双模倣性
Bisimulation
項書き換え
Rewriting
Mizar
Mizar system
セーフティクリティカルシステム
Safety-critical system