Similar to Mizar
M系列
Maximum length sequenceアルゴリズム
Algorithm▲1 trendsアルファベット (計算機科学)
Alphabet (formal languages)形式言語
Formal language形式手法
Formal methods形式的検証
Formal verification弱文脈依存言語
Mildly context-sensitive grammar formalism述語変換意味論
Predicate transformer semantics制約論理プログラミング
Constraint logic programming双模倣性
Bisimulationチューリングマシン
Turing machine▼-1 trends表明 (プログラミング)
Assertion (software development)不動点コンビネータ
Fixed-point combinatorプログラム意味論
Semantics (computer science)並行制約プログラミング
Concurrent constraint logic programming並行論理プログラミング
Concurrent logic programmingモデル検査
Model checkingラムダ計算
Lambda calculus論理プログラミング
Logic programmingDPLLアルゴリズム
DPLL algorithmL-system
L-system形式体系
Formal system項書き換え
Rewriting構成規則
Formation rule合流性
Confluence (abstract rewriting)0
0▼-1 trends1
12
2