Similar to Communicating_Sequential_Processes
1960年の野球
1960 in baseball
1960年の音楽
1960 in music
1960年ローマオリンピックのイギリス選手団
Great Britain at the 1960 Summer Olympics1960年ローマオリンピックのイタリア選手団
Italy at the 1960 Summer Olympics
仕様及び記述言語
Specification and Description Language
形式手法
Formal methods
CICS
CICS
DPLLアルゴリズム
DPLL algorithm
Guarded Command Language
Guarded Command Language
Lustre (プログラミング言語)
Lustre (programming language)
Planner
Planner (programming language)PlusCal
PlusCal
VDM
Vienna Development Method
概念実証
Proof of concept
型付きラムダ計算
Typed lambda calculus
ギルモアのアルゴリズム
グレブナー基底
Gröbner basis
形式仕様記述
Formal specification
形式体系
Formal system
形式的検証
Formal verification
形式等価判定
Formal equivalence checking
項書き換え
Rewriting構成規則
Formation rule
合流性
Confluence (abstract rewriting)
シークエント計算
Sequent calculus
自己認識論理
Autoepistemic logic
時相論理
Temporal logic
自動推論
Automated reasoning