摘要：一阶逻辑中的计数量词和算术谓词的详细概述 Presburger算术在一元计数量词下是封闭的 Ruhl在有限图中的可达性和连通性不能用一阶逻辑中的一元计数量词和加法来表达 Presburger算术的上述结果有助于证明Crane Beach猜想的失败
作者：Nicole Schweikardt
论文ID：cs/0211022
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中