理论计算机科学

图论, 数学, 理论计算机科学, 离散数学, 组合数学

米利肯–泰勒定理 (Milliken–Taylor theorem)

希德曼定理, 拉姆齐定理, 米利肯–泰勒定理, 组合数学, 集合论

学者, 理论计算机科学, 英国, 计算机科学, 软件工程

理查德·伯纳特 (Richard Bornat)

并发计算, 理查德·伯纳特, 科学, 编程, 计算机

信息学, 理论计算机科学, 算法, 组合数学, 计算机科学

析取序列 (Disjunctive Sequence)

字符串, 序列, 数据结构, 析取序列, 算法

数学, 理论计算机科学, 计算机科学, 计算理论, 逻辑学

特拉克滕勃罗特定理 (Trakhtenbrot’s theorem)

一阶逻辑, 可判定性, 可计算性, 有限模型, 特拉克滕勃罗特定理

形式语言, 理论计算机科学, 算法, 自动机, 计算机科学

奥格登引理 (Ogden’s Lemma)

上下文无关语言, 奥格登引理, 形式语言, 泵浦引理, 自动机