Similar to クヌース・ベンディックス完備化アルゴリズム
アルゴリズム
Algorithm
数理論理学
Mathematical logic
DPLLアルゴリズム
DPLL algorithm
ギルモアのアルゴリズム
P進タイヒミュラー理論
P-adic Teichmüller theoryアーベル-ルフィニの定理
Abel–Ruffini theorem
Q超幾何級数
Basic hypergeometric series
計算理論
Theory of computation
レーベンシュタイン距離
Levenshtein distance▲1 trends
M系列
Maximum length sequence
アルファベット (計算機科学)
Alphabet (formal languages)
カリー＝ハワード同型対応
Curry–Howard correspondence
クヌース賞
Knuth Prize
ゲーム意味論
Game semantics再帰的定義
Recursive definition
数学基礎論
Foundations of mathematics
制約論理プログラミング
Constraint logic programming
チューリングマシン
Turing machine
不動点コンビネータ
Fixed-point combinator
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming
Mizar
Mizar systemラムダ計算
Lambda calculus
論理プログラミング
Logic programming
Smn定理
Smn theorem
エルブランの定理
Herbrand's theorem
グッドスタインの定理
Goodstein's theorem
ゲーデルの完全性定理
Gödel's completeness theorem