Stockmeyer，Larry J。 多项式时间层次结构。 （英语） Zbl 0353.02024号 西奥。计算。科学。 3, 1-22 (1977). 页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3个 +4 +5 显示扫描页面 引用于6评论引用于372文件 MSC公司： 03D55号 可计算性和可定义性的层次结构 03D20日 递归函数和关系、子递归层次结构 03D40号 可计算性和递归理论中的单词问题等 03日第10天 图灵机及其相关概念 65年第68季度 算法和问题复杂性分析 65年第68季度 形式语言和自动机 PDF格式BibTeX公司 XML格式引用 \文本{L.J.Stockmeyer}，Theor。计算。科学。3、1--22（1977年；Zbl 0353.02024） 全文： 内政部 参考文献： [1] Ackermann，W.，《决策问题的可解决案例》（1954），北荷兰：北荷兰阿姆斯特丹·Zbl 0056.24505号 [2] Aho，A.V。；霍普克罗夫特，J.E。；Ullman，J.D.，《计算机算法的设计与分析》（1974年），《Addison-Wesley：Addison-Whesley阅读》，马萨诸塞州·Zbl 0207.01701号 [3] Aho，A.V。；Ullman，J.D.，《解析、翻译和编译理论》，第一卷：解析（1972），普伦蒂斯·霍尔：普伦蒂塞·霍尔·恩格尔伍德·克利夫斯，新泽西州·Zbl 0264.68032号 [4] 贝克，T。；吉尔·J。；Solovay，R.，《（（P）=？NP问题，SIAM J.Compute。，4, 431-442 (1975) ·Zbl 0323.68033号 [5] Bauer，M。；品牌，D。；费舍尔，M。；梅耶，A。；Paterson，M.，关于析取形式重言式的注释，SIGACT新闻，5，17-20（1973年4月） [6] 库克，S.A.，《定理证明过程的复杂性》，Proc。第三届ACM计算理论年度研讨会，151-158（1971）·Zbl 0253.68020号 [7] 库克，S.A。；Reckhow，R.A.，《有时限随机存取机器》，J.Compute。系统科学。，7, 354-375 (1973) ·Zbl 0284.68038号 [8] 偶数，S。；Tarjan，R.E.，多项式空间中完备的组合问题，Proc。第七届ACM计算理论年会，66-71（1975） [9] 费金，R。；Karp，R.，广义一阶谱和多项式时间可识别集，计算复杂性，SIAM-AMS Proc。，7, 43-73 (1974) ·Zbl 0303.68035号 [10] Harrison，M.A.，《切换与自动机理论导论》（1965年），麦格劳-希尔出版社：纽约麦格劳-希尔出版社·Zbl 0196.51702号 [11] 霍普克罗夫特，J.E。；Ullman，J.D.，《形式语言及其与自动机的关系》（1969年），《艾迪森·韦斯利：艾迪生·韦斯利阅读》，马萨诸塞州·Zbl 0196.01701号 [12] Jones，N.D.，组合问题中的空间边界可约性，J.Compute。系统科学。，11, 68-85 (1975) ·Zbl 0317.02039号 [13] Karp，R.M.，《组合问题中的可约性》（Miller，R.E.；Thatcher，J.W.，《计算机计算的复杂性》（1972），Plenum出版社：Plenum Press New York），第85-104页·Zbl 0366.68041号 [14] Knuth，D.E.，关于NP-hard问题的后记，SIGACT新闻，6，15-16（1974年4月） [15] Ladner，R.E.，《T、S4和S5有效性的计算复杂性》（1974年），华盛顿大学：华盛顿大学西雅图分校，手稿 [16] Lind，J.C.，《对数空间中的计算》，（《技术备忘录》52（1974），麻省理工学院，项目MAC:M.I.T.，项目MAC剑桥，马萨诸塞州） [17] Meyer，A.R。；Stockmeyer，L.J.，正则表达式的平方等价问题需要指数空间，Proc。第十三届IEEE交换与自动机理论年度研讨会，125-129（1972） [18] Rogers，H.，递归函数和有效可计算性理论（1967），McGraw-Hill:McGraw-Hill纽约·兹比尔0183.01401 [19] Savitch，W.J.，《不确定性和确定性磁带复杂性之间的关系》，J.Compute。系统科学。，4, 177-192 (1970) ·Zbl 0188.33502号 [20] 肖恩菲尔德，J.R.，《数理逻辑》（1967年），《艾迪森·韦斯利：艾迪生·韦斯利阅读》，马萨诸塞州·Zbl 0155.01102号 [21] Seiferas，J.I.，《不确定性时间和空间复杂性类》（博士论文，博士论文，报告TR-137（1974），麻省理工学院，项目MAC:麻省理工学院，项目MAC剑桥，马萨诸塞州）·Zbl 0274.04004号 [22] Seiferas，J.I。；费舍尔，M.J。；Meyer，A.R.，《非确定性时间和空间层次结构的精化》，Proc。第十四届IEEE交换与自动机理论年会，130-137（1973） [23] 斯特恩斯，R.E。；Hartmanis，J。；Lewis，P.M.，内存有限计算的层次，第六届IEEE开关电路理论和逻辑设计研讨会，179-190（1965）·Zbl 0229.02033号 [24] Stockmeyer，L.J.，《自动机理论和逻辑中决策问题的复杂性》，（博士论文，博士论文，报告TR-133（1974），麻省理工学院，项目MAC:M.I.T.，项目MAC剑桥，马萨诸塞州）·Zbl 0444.94037号 [25] Stockmeyer，L.J。；Meyer，A.R.，《需要指数时间的单词问题：初步报告》，Proc。第五届ACM计算理论年会，1-9（1973）·Zbl 0359.68050号 [26] 英语翻译：顾问局，纽约，1970，115\2-125。；英语翻译：顾问局，纽约，1970，115\2-125。 [27] Wrathall，C.，《完备集与多项式层次》，Theoret。公司。科学。，3 (1976) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。