Derek C.奥本。 理论的复杂性、凸性和组合。 （英文） Zbl 0437.03007号 西奥。计算。科学。 1291-302（1980年）. 页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3 +4 +5 显示扫描页面 引用于1审查引用于35文件 MSC公司： 03B25号 理论和句子集的可决定性 2015年3月1日 计算复杂性（包括隐式计算复杂性） 第68季度第65季度 抽象数据类型；代数规范 68卢比99 离散数学与计算机科学 65年第68季度 算法和问题复杂性分析 68吨15 定理证明（演绎、解析等）（MSC2010） 关键词：可判定无量词理论;可判定理论组合的复杂性;可满足性问题;整数;阵列;列表结构;未解释的功能符号;析取范式 PDF格式BibTeX公司 XML格式引用 \文本{D.C.Oppen}，Theor。计算。科学。12991-302（1980年；兹bl 0437.03007） 全文： 内政部 参考文献： [1] Ackerman，W.，《决策问题的可解决案例》（1954），北荷兰：北荷兰阿姆斯特丹·Zbl 0056.24505号 [2] 伯曼，L.，《逻辑理论的复杂性》，《理论家》。计算。科学。，11, 71-77 (1980) ·Zbl 0475.03017号 [3] de Bruijn，N.，分析中的渐近方法，（（1970），北荷兰：北荷兰阿姆斯特丹），103-108 [4] 博罗什，I。；Treybig，L.B.，线性丢番图方程正积分解的界，Proc。AMS，55，2，299-304（1976）·Zbl 0291.10014号 [5] P.唐尼。；Sethi，R.，《带数组引用的赋值命令》，J.ACM，25，4（1978）·Zbl 0388.68009号 [6] 费舍尔，M。；Rabin，M.，Presburger算法的超指数复杂性，Proc。实计算过程复杂性专题讨论会（1973）·Zbl 0319.68024号 [7] Gacs，P。；Lovasz，Laszlo，Khachian线性规划算法（CS Report STAN-CS-79-750（1979），斯坦福大学）·兹伯利0463.90066 [8] 卡普兰，D.M.，《数学计算理论中的一些完备性结果》，J.ACM，15（1968）·Zbl 0157.23801号 [9] 哈奇安，线性规划多项式算法（1978），计算机中心，苏联科学院：计算中心，苏联莫斯科科学院，手稿 [10] C.G.Nelson和D.C.Oppen，基于同余闭包的快速决策算法，美国临床医学杂志; C.G.Nelson和D.C.Oppen，基于同余闭包的快速决策算法，美国临床医学杂志·Zbl 0441.68111号 [11] Nelson，C.G。；Oppen，D.C.，《通过合作决策程序简化》，ACM Trans。编程语言与系统，2，1（1979）·Zbl 0452.68013号 [12] Oppen，D.C.，Presburger算法复杂性的上界，J.Compute。系统科学。，16, 3 (1978) ·兹伯利0381.03021 [13] D.C.Oppen，递归定义数据结构的推理，美国临床医学杂志; D.C.Oppen，递归定义数据结构的推理，美国临床医学杂志·Zbl 0477.68025号 [14] Pratt，V.，《两种简单理论的结合很难》（1977年），手稿 [15] Presburger，M.，Uber die Vollstandigkeit eines gewissen Systems der Arithmetik ganzer Zahlen，在《welchem die Additional als einzige Operation hervortritt》中，《Comptes Rendus du（1）er Congres des Mathematicians des Pays Slavs》（1929） [16] Reddy，C.R。；Loveland，D.W.，带有界量词交替的Presburger算法，Proc。第十届ACM计算理论年会（1978年）·Zbl 1282.68142号 [17] Shostak，R.，《函数符号算术的实用决策程序》，J.ACM，26，2，351-360（1979）·Zbl 0496.03003号 [18] 铃木，N。；Jefferson，D.，Presburger阵列程序的可判定性验证，（滑铁卢大学理论计算机科学会议（1977））·Zbl 0429.68025号 [19] Chan，T.，《检验PL/CV算术推理的算法》（技术报告77-326（1977），康奈尔大学计算机科学系） [20] P.Downey、R.Sethi和R.Tarjan，公共子表达式问题的变体，美国临床医学杂志; P.Downey、R.Sethi和R.Tarjan，公共子表达式问题的变体，美国临床医学杂志·Zbl 0458.68026号 [21] Kozen，D.，有限表示代数的复杂性，Proc。ACM计算理论年度研讨会（1977年） [22] Shostak，R.，《关于等式推理的算法》，美国通信协会，583-585（1978年7月）·Zbl 0378.68044号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。