×
尼尔·伊梅尔曼

一阶可表达性的上下限。 （英语） Zbl 0503.68032号

J.计算。系统。科学。 25, 76-98 (1982)。
页码：−5 −4 −3 −2 −1 ±0 +1 +2 +3个 +4 +5 显示扫描页面
扫描Zbl 0503.68032

引用于1审查
引用于62文件

MSC公司：

65年第68季度 算法和问题复杂性分析
2015年3月1日 计算复杂性（包括隐式计算复杂性）
2005年第68季度 计算模型（图灵机等）（MSC2010）

关键词：

时间/空间复杂性;一阶可表达性作为复杂性度量;图灵机器;交替卵石游戏;无序语言中的组合性质
PDF格式BibTeX公司 XML格式引用
\textit{N.Immerman}，J.计算机。系统。科学。25、76-98（1982；Zbl 0503.68032）
全文： 内政部

参考文献：

[1] Aho，A。；霍普克罗夫特，J。；Ullman，J.，《计算机算法的设计与分析》（1974年），《Addison-Wesley：Addison-Whesley阅读》，马萨诸塞州·Zbl 0326.68005号
[2] 布拉斯，A。；Harary，F.，几乎所有图和复数的性质，J.图论，3225-240（1979）·Zbl 0418.05050号
[3] Chandra，S。；Stockmeyer，L.，Alternation，（Proc.17th FOGS（1976）），98-108
[4] 康普顿（博士论文（1980），威斯康星大学：威斯康星-麦迪逊大学）
[5] Ehrenfeucht，A.，《博弈在形式化理论完备性问题中的应用》，基金。数学。，49129-141（1961年）·Zbl 0096.24303号
[6] Enderton，H.，《逻辑数学导论》（1972），学术出版社：纽约学术出版社·Zbl 0298.0202号
[7] Fagin，R.，《广义一阶谱和多项式时间可识别集》，（Karp，R..，《计算的复杂性》，SIAM-AMS Proc.No.7（1974），Amer。数学。Soc：美国。数学。Soc Providence，R.I），第43-73页·兹比尔0303.68035
[8] 费金，R.，《有限模型上的概率》，J.符号逻辑，41，No.1，50-58（1976）·Zbl 0341.02044号
[9] 费舍尔，M。；Rabin，M.，Presburger算法的超指数复杂性，（Karp，R.，《计算复杂性》，计算复杂性，SIAM-AMS Proc.No.7（1974），Amer。数学。Soc：美国。数学。Soc Providence，R.I），第27-41页·Zbl 0319.68024号
[10] Fraisse，R.，《关系系统分类》，Publ。科学。阿尔杰大学，1（1954）
[11] Hartmanis，J。；Immerman，N。；Mahaney，S.，《单向对数磁带缩减》，（《联邦公报》第19卷（1978年），第65-72页
[12] Immerman，N.，谓词演算公式的长度作为一种新的复杂性度量，（Proc.20th FOCS（1979）），33747
[13] Immerman，N.，一阶可表达性作为一种新的复杂性度量，（博士论文（1980年8月），康奈尔大学）
[14] Immerman，N.，一阶可表达性的上下限，（《联邦科学院学报》第21期（1980年），第74-82页
[15] N.Immerman公司，量词的数量优于磁带单元格的数量，J.计算。系统科学。，正在印刷中。；N.Immerman公司，量词的数量优于磁带单元格的数量，J.计算。系统科学。，正在印刷中·Zbl 0486.03019号
[16] Kozen，D.，《关于图灵机器中的并行性》（第17届FOCS会议（1976）），第89-97页
[17] Lynch，J.，《几乎肯定的理论》，Ann.Math。逻辑，18，91-135（1980）·Zbl 0433.03020号
[18] Reif，J.，《不完全信息的通用游戏》（SIGACT第11期，1979年），第288-308页
[19] Ruzzo，W.，《树木大小界限交替》（第11届SIGACT会议记录（1979年）），352-359
[20] Ruzzo，W.，《论均匀电路复杂性》（Proc.20th FOCS（1979）），第312-318页
[21] Savitch，W.，迷宫识别自动机和不确定性磁带复杂性，计算机J。系统科学。，7, 389-403 (1973) ·Zbl 0273.02022号
[22] Sudborough，L.，《确定性CFL的磁带复杂性》，J.Assoc.Comput。机器。，编号3，405-414（1978）·Zbl 0379.68054号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。