文卡塔拉曼，K.N。;安安·安原雅拉;弗兰克·霍鲁西克（Frank M.Hawrusik）。 关于项代数可计算性的观点。 （英语） Zbl 0514.68053号 J.计算。系统。科学。 26, 410-471 (1983). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于1文件 MSC公司： 65年第68季度 算法和问题复杂性分析 关键词：计算理论;可判定性;逻辑;有限二叉树;LISP公司;部分递归函数;卵石游戏 PDF格式BibTeX公司 XML格式引用 \textit{K.N.Venkataraman}等人，《计算杂志》。系统。科学。26410-471（1983年；Zbl 0514.68053） 全文： 内政部 参考文献： [1] Church，A.，初等数论的一个无法解决的问题，Amer。数学杂志。，58, 345-363 (1936) [2] Constable，R.L.，《程序逻辑理论》，（第九届美国计算机学会计算理论年会（1977）），269-285 [3] Dedekind，R.，《数字的本质和意义》（1887年、1893年）（《数字理论论文》（1963年），多佛：纽约多佛）·Zbl 0112.28101号 [4] M.Dowd和F.Hawrusik《私人通信》，1980年。；M.Dowd和F.Hawrusik，私人通信，1980年。 [5] Feferman，S.，《归纳图式和递归连续泛函》，（甘迪；海兰德，76年逻辑学术讨论会（1977），北荷兰：北荷兰阿姆斯特丹）·Zbl 0422.03023号 [6] Gödel，K.，《关于数学原理和相关系统的形式上不可判定命题》（1931年），（Davis，M.，《不可判定》（1965年），Raven出版社：Raven Press New York），再版·Zbl 0124.00403号 [7] Goguen，J.A。；撒切尔，J.W。；瓦格纳，E.G。；Wright，J.B.，《初始代数语义和连续代数》，J.Assoc.Compute。数学。，24, 68-95 (1977) ·兹比尔0359.68018 [8] Guttag，J.，《抽象数据类型与数据结构的发展》，美国通信协会，20996-404（1977）·Zbl 0356.68022号 [9] Guttag，J.V。；霍宁，J.J.，抽象数据类型规范，Acta Inform。，10, 27-52 (1978) ·Zbl 0369.68010号 [10] Hawrusik，F.（博士论文（1983），罗格斯大学计算机科学系：罗格斯大学新不伦瑞克分校计算机科学系） [11] Hawrusik，F。；Venkataraman，K.N。；Yasuhara，A.，《二叉树上计算的函数类》（第13届ACM计算理论年会（1981）），19-27 [12] Hoare，C.A.R.，《数据表示正确性证明》，《信息学报》。，1, 271-281 (1972) ·Zbl 0244.68009号 [13] Hoare，C.A.R.，递归数据结构，国际。J.计算。通知。科学。，4, 105-132 (1975) ·Zbl 0301.68037号 [14] 霍普克罗夫特，J。；保罗·W。；Valiant，L.，《关于时间与空间的对比》，J.Assoc.Compute。机器。，24, 332-337 (1977) ·Zbl 0358.68082号 [15] Kozen，D.，有限表示代数的复杂性，（第九届ACM计算理论年会（1977）），164-177 [16] Kreisel，G.，推广递归理论的一些理由，（甘地；耶茨，逻辑学术讨论会“69”（1971年），北荷兰：北荷兰阿姆斯特丹）·Zbl 0219.02027号 [17] Lipshitz，L.，《关于加法和可除性的丢番图问题》，Trans。阿默尔。数学。Soc.，235，271-283（1978）·Zbl 0374.02025号 [18] L.利普希茨《私人通信》，1981年。；L.利普希茨《私人通信》，1981年。 [19] Liskov，B.H。；Zilles，S.N.，数据抽象规范技术，IEEE Trans。软件工程，1,7-19（1975） [20] Luckham，D.C。；帕克，医学博士。；Paterson，M.S.，《关于形式化计算机程序》，J.Compute。系统科学。，4, 220-249 (1970) ·兹伯利0209.18704 [21] Lynch，N.，《作为复杂度分析参数的直线程序长度》，J.Comput。系统科学。，21, 251-280 (1980) ·Zbl 0458.68008号 [22] 北卡罗来纳州林奇。；Blum，E.K.，《编程系统之间的高效可约性：初步报告》，（第九届ACM计算理论年会（1977年）），228-238 [23] 北卡罗来纳州林奇。；Blum，E.K.，代数的相对复杂性，数学。系统理论，14，193-214（1981）·Zbl 0473.68031号 [24] Makanin，G.S.，自由半群中方程的可解性问题，数学。苏联Sb.，32，129-198（1977）·Zbl 0396.20037号 [25] Matijasevic，Y.，可枚举集是diophantine，苏联数学。道克。，11, 354-357 (1970) ·Zbl 0212.33401号 [26] McCarthy，J.，《一阶逻辑递归程序的表示》（1977），斯坦福大学计算机科学系：计算机科学系，斯坦福大学，加利福尼亚州斯坦福，手稿 [27] Nelson，G。；Oppen，D.C.，《基于同余闭包的快速决策程序》，J.Assoc.Compute。机器。，27, 356-364 (1980) ·Zbl 0441.68111号 [28] Oppen，D.C.，《递归定义数据结构的推理》，J.Assoc.Compute。机器。，27, 403-411 (1980) ·Zbl 0477.68025号 [29] 帕特森，M.S。；Hewitt，C.E.，比较图表学，（并行系统和并行计算机MAC Conf.项目（1970）），119-127·Zbl 0401.68002号 [30] 帕特森，M.S。；韦格曼，M.N.，《线性统一》，J.Assoc.Compute。机器。，16, 158-167 (1978) ·Zbl 0371.68013号 [31] 保罗·W·J。；Tarjan，R.E。；塞洛尼，T.R.，《图上游戏的空间》，数学。系统理论，10239-251（1977）·兹比尔0366.90150 [32] Pippenger，N.，Pebbling，（第五届IBM数学研讨会论文集，C.S.：计算复杂性（1980））·Zbl 0486.68064号 [33] Pippenger，N.，《比较图式学和辅助下推法》，（第12届美国计算机学会计算理论年度研讨会论文集（1980）），351-356 [34] Presburger，M.，Uber die Vollstandigkait eines gewissen Systems der Arithmetik ganzer Zahlen，在welchem die Addition als einzige Operation hervortritt中，（华沙，1929，1（1929）），92-101 [35] 奎因，W.V.，《作为算术基础的级联》（1946），（《逻辑论文选集》（1966），奎因，兰登书屋：奎因，纽约兰登书房），再版·Zbl 0060.12415号 [36] 拉宾，M.O.，无限树上二阶理论和自动机的可判定性，Trans。阿默尔。数学。《社会学杂志》，141，1-35（1969）·Zbl 0221.02031 [37] 罗宾逊，J.，《算术中的可定义性和决策问题》，J.符号逻辑。，14, 98-114 (1949) ·Zbl 0034.00801号 [38] Rogers，H.，递归函数和有效计算性理论（1967），McGraw-Hill:McGraw-Hill纽约·Zbl 0183.01401号 [39] 肖恩菲尔德，J.，《数理逻辑》（1967），《艾迪森·韦斯利：艾迪森·韦斯利阅读》，马萨诸塞州·Zbl 0155.01102号 [40] 塔斯基，A。；Mostowski，A。；Robinson，R.M.，《不确定理论》（1953），《北荷兰：北荷兰阿姆斯特丹》·Zbl 0053.00401号 [41] 撒切尔，J.W。；瓦格纳，E.G。；Wright，J.B.，《数据类型规范：参数化和规范技术的力量》，（第十届ACM计算理论年会（1978）），119-132·Zbl 1282.68170号 [42] Venkataraman，K.N.，项代数理论纯存在片段的可判定性，（博士论文（1981），CTA-TR-4，罗格斯大学计算机科学系：CTA-TR-3，罗格斯新不伦瑞克大学计算机科学部，新泽西州） [43] J.协会计算。机器。，已提交出版。；J.协会计算。机器。，已提交发布。 [44] 韦格布雷特，B。；Spitzen，J.，《证明复杂数据结构的属性》，J.Assoc.Compute。机器。，23, 389-396 (1976) ·Zbl 0326.68019号 [45] Yasuhara，A.，递归函数理论与逻辑（1971），学术出版社：纽约学术出版社·Zbl 0254.0202号 [46] Yasuhara，A.，《术语代数的可计算性：二叉树和字符串的结果和逻辑概览》（1982年），CTA-TR-5，罗格斯大学计算机科学系：CTA-TR-6，罗格斯新不伦瑞克大学计算机科学部，（本文取代Yasuhara-DCS-TR-79和1979以及CTA-TR-1 1980） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。