Similar to 形式等価判定
節標準形
双模倣性
Bisimulation
抽象解釈
Abstract interpretation
チューリングマシン
Turing machine
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm
導出原理
Resolution (logic)
表明 (プログラミング)
Assertion (software development)
ビリヤードボール・コンピュータ
Billiard-ball computer
不動点コンビネータ
Fixed-point combinator
不変条件
Invariant (computer science)
プログラム意味論
Semantics (computer science)
プログラミングの統一理論
Unifying Theories of Programming
プロセス計算
Process calculus
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming
ペトリネット
Petri net
ホーア論理
Hoare logic
Mizar
Mizar system
文字列書き換え系
Semi-Thue system
モデル検査
Model checking
モンデックスカード
Mondex
有限オートマトン
Finite-state machine
ユニフィケーション
Unification (computer science)ラムダ計算
Lambda calculus▼-1 trends
ループ不変条件
Loop invariant論理プログラミング
Logic programmingセーフティクリティカルシステム
Safety-critical system
Wikipedia:井戸端/subj/芸能人の本名は原則非記載とすべきでは