Similar to 並行論理プログラミング
表明 (プログラミング)
Assertion (software development)
ファジィ論理
Fuzzy logic
プログラム意味論
Semantics (computer science)
モデル検査
Model checking
Smn定理
Smn theorem
ギルモアのアルゴリズム
形式体系
Formal system
項書き換え
Rewriting構成規則
Formation rule
合流性
Confluence (abstract rewriting)
シークエント計算
Sequent calculus
時相論理
Temporal logic
節標準形
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm
導出原理
Resolution (logic)
Μ再帰関数
General recursive function
Annals of Mathematics
Annals of Mathematics
Axiom (数式処理システム)
Axiom (computer algebra system)
CFL条件
Courant–Friedrichs–Lewy condition
アルゴリズム的確率
Algorithmic probability/cdn.vox-cdn.com/uploads/chorus_image/image/46397844/B_B_Open.0.0.JPG)
B-Method
B-Method
Communicating Sequential Processes
Communicating sequential processes
Planner
Planner (programming language)
プロセス計算
Process calculus
制約プログラミング
Constraint programming
Co-array Fortran
Coarray FortranConcurrent Prolog
Fortress
Fortress (programming language)