Category:形式手法
チューリングマシン
Turing machine▲1 trends
充足可能性問題
Boolean satisfiability problem
論理プログラミング
Logic programming
ホーア論理
Hoare logic
シークエント計算
Sequent calculus
形式手法
Formal methods
有限オートマトン
Finite-state machine
プログラム意味論
Semantics (computer science)
グレブナー基底
Gröbner basis
Z言語
Z notation
不動点コンビネータ
Fixed-point combinator
形式体系
Formal system
プロセス計算
Process calculus
導出原理
Resolution (logic)
時相論理
Temporal logic
ユニフィケーション
Unification (computer science)
抽象解釈
Abstract interpretation
ペトリネット
Petri net
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm
詳細化
Refinement (computing)
SPINモデルチェッカ
SPIN model checker
不変条件
Invariant (computer science)
Planner
Planner (programming language)
自動推論
Automated reasoning
DPLLアルゴリズム
DPLL algorithm
合流性
Confluence (abstract rewriting)
文字列書き換え系
Semi-Thue system構成規則
Formation rule