Similar to 並行論理プログラミング
ファジィ論理
Fuzzy logicプログラム意味論
Semantics (computer science)モデル検査
Model checkingSmn定理
Smn theoremギルモアのアルゴリズム
形式体系
Formal system項書き換え
Rewriting構成規則
Formation rule合流性
Confluence (abstract rewriting)シークエント計算
Sequent calculus時相論理
Temporal logic節標準形
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm導出原理
Resolution (logic)Μ再帰関数
General recursive functionAnnals of Mathematics
Annals of MathematicsAxiom (数式処理システム)
Axiom (computer algebra system)アルゴリズム的確率
Algorithmic probabilityB-Method
B-MethodPlanner
Planner (programming language)プロセス計算
Process calculus制約プログラミング
Constraint programmingChapel
Chapel (programming language)Co-array Fortran
Coarray FortranFortress
Fortress (programming language)High Performance Fortran
High Performance FortranOccam
Occam (programming language)OpenMosix
OpenMosix