Similar to ホーン節
M系列
Maximum length sequence
アルゴリズム
Algorithm
アルファベット (計算機科学)
Alphabet (formal languages)
グスタフソンの法則
Gustafson's law
Mizar
Mizar system
ElGamal署名
ElGamal signature scheme
0
0
1
1▼-1 trends
2
2
3
3▼-1 trends
4
4
5
5
6
6
7
7
8
8
9
9
12345679
理論計算機科学
Theoretical computer science
カリー＝ハワード同型対応
Curry–Howard correspondence
クヌース賞
Knuth Prize
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
計算木論理
Computation tree logic
計算複雑性理論
Computational complexity theory
計算理論
Theory of computation
計算論的哲学
Computational philosophy
形式言語
Formal language形式言語の階層
形式手法
Formal methods