马丁·福勒 具有有界量词交替深度的Presburger算法的复杂性。 （英语） Zbl 0484.03003号 西奥。计算。科学。 18, 105-111 (1982). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于18文件 理学硕士： 03年2月25日 理论和句子集的可决定性 2015年3月15日 计算复杂性（包括隐式计算复杂性） 关键词：一阶理论的决策问题 PDF格式BibTeX公司 XML格式引用 \文本{M.Fuerer}，Theor。计算。科学。18、105--111（1982；Zbl 0484.03003） 全文： 内政部 参考文献： [1] 伯曼，L.，《逻辑理论的复杂性》，《理论家》。计算。科学。，11, 71-77 (1980) ·Zbl 0475.03017号 [2] 博罗什，I。；Treybig，L.B.，线性丢番图方程正积分解的界，Proc。AMS，55，299-304（1976）·Zbl 0291.10014号 [3] 费兰特，J。；Rackoff，C.，一阶有序实加法理论的决策程序，SIAM J.Compute。，4, 69-76 (1975) ·Zbl 0294.02022号 [4] 费舍尔，M.J。；Rabin，M.O.，Presburger算法的超指数复杂性，SIAM-AMS Proc。，7, 27-41 (1974) ·Zbl 0319.68024号 [5] Fleischmann，K。；马赫，B。；Siefkes，D.，有界串联理论作为证明低复杂度界限的统一方法，（Gandy，R.O.；Hyland，J.M.E.，逻辑学术讨论会76（1977），北荷兰：北荷兰阿姆斯特丹），471-490·Zbl 0439.03004号 [6] 冯·祖尔·盖森，J。；Sieveking，M.，线性整数等式和不等式解的界，Proc。艾姆斯，72155-158（1978）·Zbl 0397.90071号 [7] 哈代，G.H。；Wright，E.M.，《数字理论导论》（1938），牛津大学出版社：牛津大学出版社·Zbl 0020.29201号 [8] Heintz，J.，Untere Schranken für die Komplexität logischer Entscheidungsprobleme，（Specker，E.；Strassen，V.，Komplexität von Entscheidundgsproblemen。Kompleexität-von Entcheidungspoblemen，计算机科学讲稿，43（1976），施普林格：柏林施普林格出版社），127-137·兹比尔0343.02035 [9] 雷迪，C.R。；Loveland，D.W.，带有界量词交替的Presburger算法，Proc。第十届ACM计算理论年会，320-325（1978）·Zbl 1282.68142号 [10] Smullyan，R.，形式系统理论，（《数学研究年鉴》，47（1961），普林斯顿大学出版社：普林斯顿大学出版公司普林斯顿）·Zbl 0097.24503号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。