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