Similar to 並行制約プログラミング
ファジィ論理
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
アルゴリズム的確率
Algorithmic probability
Planner
Planner (programming language)
プロセス計算
Process calculus
制約プログラミング
Constraint programming
Chapel
Chapel (programming language)
Co-array Fortran
Coarray FortranFortress
Fortress (programming language)High Performance Fortran
High Performance Fortran
Occam
Occam (programming language)OpenMosix
OpenMosixParallel Virtual Machine
Parallel Virtual MachineParallella
Program Composition Notation
Program Composition Notation