佐托鲁黑田 LOGCFL的广义量词和有界算法理论。 （英语） Zbl 1115.03082号 架构（architecture）。数学。逻辑 46，第5-6号，489-516（2007）. 摘要：我们定义了一个二分类有界算法的理论，其可证明的总函数正好是{F}（F）_{\text{LOGCFL}}）通过表示SAC（^{1}）电路计算的广义量词。这一证明取决于科洛科洛娃关于两类理论中可证捕获与描述复杂性之间联系的条件。 理学硕士： 30楼03号 一阶算法和片段 2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等） 19年第68季度 描述复杂性和有限模型 03C80号 带有额外量词和运算符的逻辑 PDF格式BibTeX公司 XML格式引用 \textit｛S.Kuroda｝，拱门。数学。逻辑46，No.5--6，489--516（2007；Zbl 1115.03082） 全文： 内政部 参考文献： [1] Bedard，F。；Lemieux，F。；Mckenzie，P.，《巴林顿M程序模型的扩展》，Theor。计算。科学。，107, 1, 31-61 (1993) ·Zbl 0764.68040号 ·doi:10.1016/0304-3975（93）90253-P [2] 硼蛋白，A。；库克，S.A。；戴蒙德，P.W。；Ruzzo，W.L。；Tompa，M.，归纳计数在互补问题中的两个应用，SIAM J.Comput。，18, 3, 559-578 (1989) ·Zbl 0678.68031号 ·数字对象标识代码：10.1137/0218038 [3] Buss，S.R.：有界算术。Bibliopolis（1986）·Zbl 0649.03042号 [4] 库克，S.A.：复杂性类理论及其命题翻译。摘自：Krajicek，J.（编辑）《计算和证明的复杂性》，第175-227页。Quaderni di Matematica（2003年）·Zbl 1084.03044号 [5] Immerman，N.：描述复杂性，计算机科学研究生文本。斯普林格，海德堡（1998） [6] Kolokolova，A.：描述复杂性的有界算术系统。多伦多大学博士论文（2005）·Zbl 1136.03336号 [7] Krajíček，J.，《有界算术、命题逻辑和复杂性理论》（1995），纽约：剑桥大学出版社，纽约·Zbl 0835.03025号 [8] 劳特曼，C。；McKenzie，P。；Schwentick，T。；Vollmer，H.，《LOGCFL的描述性复杂性方法》，J.Compute。系统。科学。，62, 4, 629-652 (2001) ·兹伯利0983.68108 ·doi:10.1006/jcss.2000.1742 [9] Nguyen，P。；Cook，S.，TC^0和其他小型复杂类的理论，Log。方法计算。科学。，2，1，1-40（2006年）·Zbl 1126.68048号 [10] Venkateswaran，H.，《LOGCFL特性》，J.Compute。系统。科学。，42, 380-404 (1991) ·Zbl 0776.68046号 ·doi:10.1016/0022-0000（91）90020-6 [11] 赞比拉，D.，《多项式有界算术注释》，J.Symb。逻辑，61,3942-966（1996）·Zbl 0864.03039号 ·doi:10.2307/2275794 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。