彼得·克洛特 计算模型和函数代数（扩展抽象）。 （英语） Zbl 07776717号 Daniel Leivant（编辑），《逻辑和计算复杂性》。1994年10月13日至16日，美国印第安纳波利斯LCC’94国际研讨会。精选论文。柏林：Springer-Verlag。莱克特。注释计算。科学。960, 98-130 (1995). 关于整个系列，请参见[兹比尔0847.00025]. MSC公司： 03年XX月 数学逻辑和基础 关键词：图灵机器;高类型;函数代数;输入磁带;随机存取机 PDF格式BibTeX公司 XML格式引用 \textit{P.Clote}，莱克特。注释计算。科学。960、98——130（1995年；Zbl 07776717） 全文： 内政部 参考文献： [1] W.阿克曼。Zum Hilbertschen Aufbau der reelen Zahlen（扎伦）。《数学年鉴》，99:118-1331928年。 [2] B.艾伦。算术统一数控《纯粹逻辑与应用逻辑年鉴》，53（1）：1-501991·Zbl 0741.03019号 ·doi:10.1016/0168-0072（91）90057-S [3] D.混合Barrington、N.Immerman和H.Straubing。关于均匀性（NC^1）。计算机与系统科学杂志，41（3）：274-3061990·Zbl 0719.68023号 ·doi:10.1016/0022-0000（90）90022-D [4] D.A.巴林顿。有界宽度多项式规模的分支程序准确识别\（NC^1）中的那些语言。《计算机与系统科学杂志》，38:150-1641989年·Zbl 0667.68059号 ·doi:10.1016/0022-0000（89）90037-8 [5] S.贝兰托尼。预测递归和计算复杂性。技术报告264/92，多伦多大学计算机科学系，1992年9月。164页·Zbl 0841.03022号 [6] S.贝兰托尼。谓词递归和多时间层次结构。P.Clote和J.Remmel，编辑，《可行性数学II》，第15-29页。Birkhäuser，1995年·Zbl 0841.03022号 [7] S.Bellantoni和S.Cook。多时间函数的一种新的递归理论表征。计算复杂性，2:97-1101992·Zbl 0766.68037号 ·doi:10.1007/BF01201998 [8] A.贝尔图科夫。初始Grzegorczyk类的计算机描述和层次结构。《苏联数学杂志》，20:2280-22891982。Zap翻译。恶心。塞姆·列宁。其他日期。材料研究所，V.A.Steklova AN SSSR，第88卷，第30-46页，1979年·Zbl 0493.03012号 ·doi:10.1007/BF01629435 [9] J.H.贝内特。关于光谱。普林斯顿大学博士论文，1962年。数学系。 [10] S.布洛赫。对数和多对数并行时间的函数代数特征。计算复杂性，4（2）：175-2051994·Zbl 0813.68099号 [11] S.Buss公司。《有界算术》，《证明理论研究》第3卷。Bibliopolis，1986年。221页·Zbl 0649.03042号 [12] S.Buss公司。多项式层次和直觉有界算法。A.L.Selman，《复杂性理论中的结构》编辑，第223卷，第77-103页。1986年，施普林格计算机科学讲稿·Zbl 0654.03043号 [13] 蔡健怡和福斯特。PSPACE公司在三位瓶颈中生存。《第三届IEEE复杂性理论结构年会论文集》，第94-102页，1988年。 [14] A.Chandra、D.Kozen和L.J.Stockmeyer。交替。计算机协会杂志，28:114-1331981·Zbl 0473.68043号 [15] A.教堂。初等数论中一个无法解决的问题。《美国数学杂志》，58:345-3631936年·Zbl 0014.09802号 [16] P.克洛特。P和PSPACE之间的时空层次结构。数学系统理论，25:77-921992·兹比尔0762.03017 [17] P.克洛特。某些组合原理的多项式大小frege证明。《算术、证明理论和计算复杂性》编辑P.Clote和J.Krajíček，第162-184页。牛津大学出版社，1993年·Zbl 0793.03046号 [18] P.克洛特。非确定性堆栈寄存器机器。已提交·Zbl 0901.68052号 [19] P.Clote、B.Kapron和A.Ignjatovic。并行可计算的高级函数。技术报告BCCS-94-04，波士顿学院计算机科学系，1994年6月。 [20] P.Clote、B.Kapron和A.Ignjatovic。并行可计算的高级函数。1993年11月3日至5日，IEEE第34届计算机科学基础年度研讨会论文集。加利福尼亚州帕洛阿尔托，第72-83页。 [21] P.Clote和G.Takeuti。指数时间和有界算法。A.L.Selman，《复杂性理论中的结构》编辑，第223卷，第125-143页。施普林格计算机科学讲稿，1986年·兹伯利06210.3026 [22] P.Clote和G.Takeuti。NC、ALOGTIME、L和荷兰《纯粹逻辑与应用逻辑年鉴》，56:73-1171992年·Zbl 0772.03028号 ·doi:10.1016/0168-0072（92）90068-B [23] P.Clote和G.Takeuti。一阶有界算法和小布尔电路复杂度类。P.Clote和J.Remmel，编辑，《可行性数学II》，第154-218页。Birkhäuser Boston Inc.，1995年·Zbl 0838.03043号 [24] P.G.克洛特。并行复杂性类的序列特征数控《BCCS-88-07技术报告》，波士顿学院计算机科学系，1988年。 [25] P.G.克洛特。并行复杂性类ALOGTIME、AC（^k，NC^k）和数控《可行性数学》编辑P.J.Scott S.R.Buss，第49-70页。Birkhäuser，1990年·兹比尔0765.68034 [26] A.科巴姆。函数固有的计算困难。《逻辑、方法论和科学哲学II》编辑Y.Bar-Hillel，第24-30页。北荷兰，1965年·Zbl 0192.08702号 [27] R.康斯特布尔。类型2计算复杂性。在1973年第五届ACM计算理论年会上。第108-121页·Zbl 0306.68022号 [28] S.库克。更高类型函数的可计算性和复杂性。《计算机科学的逻辑》编辑Y.N.Moschovakis，第51-72页。施普林格出版社，1992年·Zbl 0757.03021号 [29] S.A.Cook和B.M.Kapron。有限型可行泛函的刻画。《可行性数学》编辑P.J.Scott S.R.Buss，第71-98页。Birkhäuser，1990年·兹比尔0788.03068 [30] S.A.Cook和A.Urquhart。可行性构造算法的函数解释。《纯粹逻辑与应用逻辑年鉴》，63（2）：第103-200页，1993年·Zbl 0780.03026号 ·doi:10.1016/0168-0072（93）90044-E [31] R.费金。广义一阶谱和多项式时间可识别集。R.M.Karp，编辑，《计算复杂性》，SIAM-AMS Proceedings，第7卷，第43-73页，1974年·Zbl 0303.68035号 [32] R.费金。有限模型理论——个人观点。S.Abiteboul和P.Kanellakis，编辑，Proc。1990年数据库理论国际会议，第3-24页。Springer-Verlag计算机科学讲稿4701990。期刊版本将出现在《理论计算机科学》上·Zbl 0774.03012号 [33] 美国《财富》杂志和J.Wyllie。随机访问机器中的并行性。1978年，第十届ACM计算理论年会。第114-118页·Zbl 1282.68104号 [34] J.-Y.Girard、A.Scedrov和P.Scott。有界线性逻辑。《可行性数学》编辑P.J.Scott S.R.Buss，第195-210页。Birkhäuser，1990年·Zbl 0773.03007号 [35] K.哥德尔。这是一个正式的未经审查的数学原理与系统。J.莫纳特。数学。物理。，38:173-198, 1931. [36] K.哥德尔。与G.E.Sacks的对话。高级研究所，1975年。 [37] L.Goldschlager。同步并行计算。技术报告114，多伦多大学，1977年12月。131页。 [38] L.戈德施拉格。同步并行机模型的统一方法。计算机协会杂志，29（4）：第1073-1086页，1982年10月·Zbl 0489.68042号 [39] A.格里戈奇克。递归函数的一些类别。Rozprawy Matematyczne，1953年4月·Zbl 0052.24902号 [40] Y.Gurevich。可行函数代数。1983年IEEE第24届计算机科学基础研讨会论文集。第210-214页。 [41] Y.Gurevich和S.Shelah。近似线性时间。计算机科学逻辑基础研讨会，Springer计算机科学讲稿（363）：108-1181989。佩雷斯拉夫·泽莱斯基，苏联·Zbl 0673.03026号 [42] W.Handley、J.B.Paris和A.J.Wilkie。描述一些低算术类。《算法理论》，第353-364页。Akademie Kyado，布达佩斯，1984年。Janos Bolyai社团座谈会·Zbl 0635.03033号 [43] W.G.汉德利。LTH加上非确定性求和模（M_3）得到ALIN-TIME。提交日期：1994年12月22日。 [44] W.G.汉德利。确定性求和模\（β_n\），1，{O，…，n−1}上二元关系的半群。提交日期：1994年5月。 [45] V.哈尼克。直觉有界算法的可证明总函数。符号逻辑杂志，57（2）：466-4771992·Zbl 0778.03019号 [46] K.哈罗。小型Grzegorczyk类和有限的最小值。宙特。数学。Logik，21:417-4261975年·Zbl 0316.02043号 [47] K.哈罗。原始递归函数的一些层次结构的等价性。宙特。数学。Logik，25:411-4181979年·Zbl 0446.03029号 [48] D.希尔伯特。我们是Unendliche。《数学年鉴》，95:161-190，1925年。 [49] H.詹姆斯·胡佛。可行的建设性分析。技术报告206/87，多伦多大学，1987年11月。114页。 [50] H.J.胡佛。用于可行实际分析的计算模型。S.R.Buss和P.J.Scott，《可行性数学》编辑，第221-238页。Birkhäuser，1990年·Zbl 0764.03025号 [51] A.伊格尼亚托维奇。逻辑在更高类型可行性中的一些应用。1994年10月13日至16日，组织者D.Leivant在印第安纳波利斯LCC会议上的打字稿和受邀演讲。 [52] N.伊曼。捕获复杂类的语言。SIAM计算机杂志，16:760-7781987·Zbl 0634.68034号 ·数字对象标识代码：10.1137/0216051 [53] N.伊梅尔曼。可表达性和并行复杂性。SIAM J.计算。，18(3):625-638, 1989. ·Zbl 0688.68038号 [54] N.D.Jones和A.L.Selman。图灵机和一阶公式的谱。《符号逻辑杂志》，39:139-1501974年·Zbl 0288.02021号 [55] L.卡尔马。埃格泽尔·佩尔达·埃尔德特特伦（Egyszerüpélda eldönthetetlen aritmetikai problémára）。Mateés Fizikai Lapok，50:1-231943年。[匈牙利语和德语摘要]·Zbl 0063.03115号 [56] B.Kapron和S.Cook。Mehlhorn多时间泛函的一个新特征。在IEEE第32届计算机科学基础年度研讨会论文集，第342-3471991页。出现在SIAM J.on Compute上。 [57] S.C.克莱恩。自然数的一般递归函数。数学。年鉴，112:727-7421936·Zbl 0014.19402号 [58] S.C.克莱恩。Lambda-可定义性和递归性。杜克数学杂志，2:340-3531936·doi:10.1215/S0012-7094-36-00227-2 [59] Ker-I Ko.公司。将离散复杂性理论技术应用于数值计算。《复杂性理论研究》编辑R.V.Book，第1-62页。约翰·威利父子公司，1986年。 [60] G.Kreisel、D.Lacombe和J.R.Shoenfield。部分递归函数和有效操作。编辑A.Heyting，《数学中的建构性：阿姆斯特丹学术讨论会论文集》，第195-207页。北荷兰，1957年·兹比尔0201.33007 [61] M.Kutyłowski。有限自动机、实时过程和有界算术中的计数问题。符号逻辑杂志，53（1）：243-2581988·Zbl 0647.03034号 [62] D.Leivant。分支递归和计算复杂性I：单词递归和多时间。P.Clote和J.Remmel，编辑，《可行性数学II》，第320-343页。Birkhäuser，1994年·Zbl 0844.03024号 [63] D.Leivant和J.-Y.Marion。多时间的Lambda-calculus特征。《信息基础》，19:167-1841993年·Zbl 0781.68059号 [64] J.C.林德。在对数空间中计算。技术报告项目MAC技术备忘录52，麻省理工学院，1974年9月。 [65] K.梅尔霍恩。多项式和抽象子递归类。《计算机与系统科学杂志》，12:147-1781976年·兹伯利0329.68049 [66] B.莫尼恩。指数时间语言的递归和语法特征。理论计算机科学，3:61-741977·Zbl 0355.68056号 [67] A.Nerode、J.Remmel和A.Scedrov。多项式分级逻辑I——系统T的分级版本。1989年IEEE第四届计算机科学逻辑年会论文集·Zbl 0717.03008号 [68] K.-H.尼格尔。Scott域上的子递归层次结构。数学逻辑档案，32:239-2571993·兹比尔0779.03011 [69] J.奥托。层、张量和Δ\（^0_0\）。1994年10月13日至16日，组织者D.Leivant在印第安纳波利斯LCC会议上发言。 [70] S.V.Pakhomov公司。一些机器复杂性类的机器无关描述（俄语）。Issledovanija po konstrukt。《逻辑材料》，第八卷：176-185页，洛密1979年·Zbl 0429.03019号 [71] J.B.Paris和A.J.Wilkie。有界算术中的计数问题。《数学逻辑方法》编辑C.A.di Prisco，第317-340页。施普林格-弗拉格数学讲稿，1983年。1983年在加拉加斯举行的逻辑会议记录·Zbl 0572.03034号 [72] R.Péter。你一定是我的朋友。《数学年鉴》，113:489-5261936年·Zbl 0015.33902号 [73] R.W.里奇。可预测的可计算函数类。事务处理。数学。Soc.，106:139-1731963年·Zbl 0107.01001号 [74] J.罗宾逊。算术中的定义和决策问题。《符号逻辑杂志》，14:98-1141949年·Zbl 0034.00801号 [75] H.E.罗斯。《递归：函数和层次》，牛津逻辑指南第9卷。克拉伦登出版社，牛津，1984年。191页·Zbl 0539.03018号 [76] J.S.罗耶。语义vs.语法vs.计算。打字稿，1994年11月29日。 [77] W.L.Ruzzo。关于均匀电路复杂性。J.计算。系统科学。，22：第365-383页，1981年·兹伯利0462.68013 ·doi:10.1016/0022-0000（81）90038-6 [78] C.P.施诺尔。可满足性是拟线性完备的NQL公司计算机协会杂志，25（1）：136-1451978·Zbl 0364.68056号 [79] H.朔尔茨。符号逻辑中的Ein ungelöstes问题。符号逻辑杂志，17:1601952。 [80] 部分连续泛函的本原递归。《Informatik und Mathematik》编辑M.Broy，第251-259页。Springer-Verlag，1991年。 [81] A.塞思。类型2的可行泛函没有递归公理化。1992年IEEE第七届计算机科学逻辑年度研讨会论文集。第286-295页。 [82] A.塞思。2型可行泛函的一些理想条件。1993年IEEE第八届计算机科学逻辑年会论文集。 [83] A.塞思。所有有限类型可行泛函的图灵机特征。P.Clote和J.Remmel，编辑，《可行性数学II》，第407-428页。Birkhäuser，1994年·Zbl 0836.03024号 [84] Y.Shiloach和U.Vishkin。在并行计算模型中找到最大值、合并和排序。《算法杂志》，3:57-671982·Zbl 0494.68070号 ·doi:10.1016/0196-6774（82）90008-6 [85] L.Stockmeyer和U.Vishkin。通过电路模拟并行随机存取机。SIAM计算机杂志，13:409-4221984·Zbl 0533.68048号 ·数字对象标识代码：10.1137/0213027 [86] D.B.汤普森。次递归性：在有限的时间和存储中与机器无关的可计算性概念。数学。《系统论》，1972年6月3日至15日·兹比尔0229.68013 [87] M.Townsend先生。类型2关系的复杂性。《圣母院形式逻辑杂志》，31:241-2621990年·Zbl 0711.03017号 [88] A.M.Turing，关于可计算数字，以及对Entscheidungs问题的应用。程序。伦敦。数学。Soc.，系列2，42:230-2651936-37·兹宝利0016.09701 [89] K·瓦格纳。有界递归和复杂性类。《计算机科学讲义》第74卷，第492-498页。Springer-Verlag，1979年·Zbl 0409.03021号 [90] K.Wagner和G.Wechsung。计算复杂性。雷德尔出版公司，1986年·Zbl 0584.68062号 [91] A.伍兹。有界算术公式和常数交替的图灵机。《1984年逻辑大剧场》编辑J.B.Paris、A.J.Wilkie和G.M.Wilmers。北荷兰，1986年·Zbl 0615.03022号 [92] C.愤怒。完备集和多项式时间层次。理论计算机科学，3:23-331976·Zbl 0366.02031号 ·doi:10.1016/0304-3975（76）90062-1 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。