西尔万·施密茨 基本之外的复杂性层次结构。 （英语） Zbl 1347.68162号 ACM事务处理。计算。理论 8，第1号，第3条，36页（2016年）. 引用于33文件 MSC公司： 2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等） 2015年3月1日 计算复杂性（包括隐式计算复杂性） 03D20日 递归函数和关系，子递归层次结构 关键词：快速增长的复杂性；次递归；良好准阶 软件：MONA公司 PDF格式BibTeX公司 XML格式引用 \textit{S.Schmitz}，ACM翻译。计算。理论8，第1号，第3条，36页（2016；Zbl 1347.68162） 全文： 内政部 arXiv公司 参考文献： [1] Parosh A.Abdulla，KarlisČ；呃ā；ns、Bengt Jonsson和Yih-Kuen Tsay。2000.具有良好拟序域的程序的算法分析。信息与计算160，1–2，109–127。内政部：http://dx.doi.org/10.1006/inco.1999.2843 ·Zbl 1046.68567号 ·doi:10.1006/inco.1999.2843 [2] Parosh A.Abdulla和Giorgio Delzanno。2006.关于约束多集重写的可覆盖性问题。2006年AVIS会议记录。 [3] Parosh A.Abdulla、Giorgio Delzanno和Laurent Van Begin。2011年，对结构良好的过渡系统的表达能力进行分类。信息与计算209、3、248–279。内政部：http://dx.doi.org/10.1016/j.ic.2010.11.003 ·Zbl 1217.68146号 ·doi:10.1016/j.ic.2010.11.003 [4] Parosh A.Abdulla和Bengt Jonsson。1996年。用不可靠的渠道验证程序。信息与计算127，2，91–101。内政部：http://dx.doi.org/10.1006/inco.1996.0053 ·Zbl 0856.68096号 ·doi:10.1006/inco.1996.0053 [5] Parosh A.Abdulla和Aletta Nylé；2001年第号。定时Petri网和BQO。2001年《Petri网的应用和理论》。计算机科学讲义，第2075卷。施普林格，53-70岁。内政部：http://dx.doi.org/10.1007/3-540-45740-2_5 ·Zbl 0986.68092号 ·doi:10.1007/3-540-45740-2_5 [6] 塞尔吉奥·阿布里奥拉（Sergio Abriola）、圣地亚哥·菲格雷拉（Santiago Figueira）和加布里埃尔·塞诺（Gabriel Senno）。2015年。线性化井拟序和限制不良序列的长度。理论计算机科学603，3–22。内政部：http://dx.doi.org/10.1016/j.tcs.2015.07.012 ·Zbl 1347.03086号 ·doi:10.1016/j.tcs.2015.07.012 [7] Rajeev Alur和David L.Dill。时间自动机理论。理论计算机科学126，2，183–235。内政部：http://dx.doi.org/10.1016/0304-3975(94)90010-8 ·Zbl 0803.68071号 ·doi:10.1016/0304-3975（94）90010-8 [8] Mohamed Faouzi Atig、Ahmed Bouajjani、Sebastian Burckhardt和Madanal Musuvathi。2010年。关于弱记忆模型的验证问题。2010年POPL会议记录。ACM，纽约州纽约市，7-18。内政部：http://dx.doi.org/10.1145/1706299.1706303 ·Zbl 1312.68050号 ·doi:10.145/1706299.1706303 [9] 巴勃罗·巴克尔（Pablo Barcel）；，Diego Figueira和Leonid Libkin，2013年。具有有理关系的图形逻辑。计算机科学中的逻辑方法9，3，第1条。内政部：http://dx.doi.org/10.2168/LMCS-9(3:1)2013 ·Zbl 1272.03147号 ·doi:10.2168/LMCS-9（3:1）2013年 [10] 阿诺德·贝克曼。2001.类型化约简长度的精确界限λ-微积分。符号逻辑杂志66，3，1277–1285。内政部：http://dx.doi.org/10.2307/2695106 ·Zbl 1159.03305号 ·数字对象标识代码：10.2307/2695106 [11] 米歇尔·布洛克莱特和西尔万·施密茨。2011.向量加法系统的模型检查覆盖图。计算机科学数学基础。计算机科学课堂讲稿，6907。施普林格，108-119。内政部：http://dx.doi.org/10.1007/978-3642-22993-0_13 ·兹比尔1343.68152 ·doi:10.1007/978-3-642-22993-013 [12] Ré；米·博内特、阿兰·芬克尔、谢尔盖·哈达德和费尔南多·罗萨·弗拉尔多。2010.比较Petri数据网和定时Petri网。研究报告LSV-10-23。LSV、ENS Cachan。http://lsv.fr/Publis/rrpublis？onlykey和equals；rr-lsv-10-23型 [13] Patricia Bouyer，Nicolas Markey，Joë；O.Ouaknine、Philippe Schnoebelen和James B.Worrell。2012.关于故障通道机器的终止和不变性。计算的形式方面24，4-6，595-607。内政部：http://dx.doi.org/10.1007/s00165-012-0234-7 ·Zbl 1259.68142号 ·doi:10.1007/s00165-012-0234-7 [14] Davide Bresolin、Dario Della Monica、Angelo Montanari、Pietro Sala和Guido Sciavicco。2012.有限线性序上的区间时序逻辑：全貌。2012年ECAI会议记录。199–204. 内政部：http://dx.doi.org/10.3233/978-1-61499-098-7-199 ·Zbl 1327.03012号 [15] Gé；rard Cé；cé；，阿兰·芬克尔和S.Purushothaman Iyer。1996年。不可靠的渠道比完美的渠道更容易验证。信息与计算124、1、20–31。内政部：网址：http://dx.doi.org/10.1006/inco.1996.0003 ·Zbl 0844.68035号 ·doi:10.1006/inco.1996.003 [16] 皮埃尔·钱巴特（Pierre Chambart）和菲利普·施诺贝伦（Philippe Schnoebelen）。2007.嵌入后问题不是原始递归问题，而是应用程序到通道系统。在FSTTCS 2007：软件技术和理论计算机科学基础。计算机科学讲义，第4855卷。施普林格，265-276。内政部：http://dx.doi.org/10.1007/978-3-540-77050-3_22 ·Zbl 1136.03030号 ·doi:10.1007/978-3-540-77050-3_22 [17] Pierre Chambart和Philippe Schnoebelen。2008年a。ω-常规后嵌入问题。软件科学和计算结构基础。计算机科学讲义，第4962卷。施普林格，97–111。内政部：http://dx.doi.org/10.1007/978-3-540-78499-9_8 ·Zbl 1139.03031号 ·doi:10.1007/978-3-540-78499-98 [18] 皮埃尔·钱巴特（Pierre Chambart）和菲利普·施诺贝伦（Philippe Schnoebelen）。2008年b。有耗信道系统的有序递归复杂性。2008年LICS会议记录。IEEE，加利福尼亚州洛斯阿拉米托斯，205-216。内政部：http://dx.doi.org/10.109/LICS.2008.47 ·doi:10.1109/LICS.2008.47 [19] E.Adam Cichoń；和Elias Tahan-Bittar。1998.Higman的顺序递归界限’；s定理。理论计算机科学201，1–2，63–84。内政部：http://dx.doi.org/10.1016/S0304-3975(97)00009-1 ·Zbl 0902.68100号 ·doi:10.1016/S0304-3975（97）00009-1 [20] 彼得·克洛特。关于Petri网的有限包含问题。理论计算机科学43、99–105。内政部：网址：http://dx.doi.org/10.1016/0304-3975（86）90169-6·Zbl 0614.68047号 ·doi:10.1016/0304-3975（86）90169-6 [21] 彼得·克洛特。1999.计算模型和函数代数。在《可计算性理论手册》中，E.R.Griffor（Ed.）。《逻辑与数学基础研究》，第140卷。爱思唯尔，589–681。内政部：http://dx.doi.org/10.1016/S0049-237X(99)80033-0 ·Zbl 0942.68049号 ·doi:10.1016/S0049-237X（99）80033-0 [22] M.Dauchet和S.Tison。1990年，地面改写系统的理论是可以确定的。1990年LICS会议记录。IEEE，加利福尼亚州洛斯阿拉米托斯，242-248。内政部：http://dx.doi.org/10.1109/LICS.1990.113750 ·doi:10.1109/LICS.1990.113750 [23] Dick H.J.de Jongh和Rohit Parikh。1977年。良好的部分排序和层次结构。Indagationes Mathematicae数学导论39、3、195–207。http://dx:doi:org/10:1016/1385-7258(77)90067-1 ·Zbl 0435.06004号 [24] 诺曼·戴克和丹尼尔·托马。2015.关于冻结具有有序属性的LTL。预打印。可在http://arxiv.org/abs/1504.06355 ·Zbl 1475.68179号 [25] 圣é；phane Demri和Ranko Lazi等人；。2009.带有冻结量词和注册自动机的LTL。《美国计算机学会计算逻辑学报》第10、3、16条。内政部：http://dx.doi.org/10.1145/1507244.1507246 ·Zbl 1351.68158号 ·doi:10.1145/1507244.1507246 [26] J.Michael Dunn和Greg Restall。2002.相关性逻辑。《哲学逻辑手册》，D.M.Gabbay和F.Guenthner（编辑），第6卷。Kluwer，1-128岁。内政部：http://dx.doi.org/10.1007/978-94-017-0460-1_1 ·doi:10.1007/978-94-017-0460-1_1 [27] Jacob Elgaard、Nils Klarlund和Anders Mø；勒。1998年。MONA 1.x：WS1S和WS2S的新技术。计算机辅助验证。计算机科学讲义，第1427卷。施普林格，516–520。内政部：http://dx.doi.org/10.1007/BFb0028773 ·doi:10.1007/BFb0028773 [28] Patrick C.Fischer、Albert R.Meyer和Arnold L.Rosenberg，1968年。计数器和计数器语言。数学系统理论2,3265-283。内政部：http://dx:doi:org/10:1007/BF01694011 ·兹比尔0165.32002 [29] Matthew V.H.Fairtlough和Stanley S.Wainer。1992.递归定义的顺序复杂性。信息与计算99，2，123–153。内政部：http://dx.doi.org/10.1016/0890-5401（92）90027-D·Zbl 0768.03027号 ·doi:10.1016/0890-5401（92）90027-D [30] Matthew V.H.Fairtlough和Stanley S.Wainer。1998.可证明递归函数的层次结构。《证明理论手册》，S.Buss（Ed.）。逻辑与数学基础研究，第137卷。爱思唯尔，149-207。内政部：http://dx.doi.org/10.1016/S0049-237X(98)80018-9 ·Zbl 0961.03053号 ·doi:10.1016/S0049-237X（98）80018-9 [31] 所罗门·费弗曼。1962.通过层次结构对递归函数进行分类。美国数学学会学报104，101-122。内政部：http://dx.doi.org/10.1090/S0002-9947-1962-0142453-3 ·Zbl 0106.00602号 ·doi:10.1090/S0002-9947-1962-0142453-3 [32] 迭戈·菲奎拉（Diego Figueira）。2012.有限单词和树上的交替寄存器自动机。计算机科学中的逻辑方法8，1，第22条。内政部：http://dx.doi.org/10.2168/LMCS-8（1:22）2012年·Zbl 1238.68074号 ·doi:10.2168/LMCS-8（1:22）2012 [33] Diego Figueira、Santiago Figueila、Sylvain Schmitz和Philippe Schnoebelen。2011.与Dickson的Ackermannian和基本递归边界’；s引理。2011年LICS会议记录。IEEE，加利福尼亚州洛斯阿拉米托斯，269-278。内政部：http://dx.doi.org/10.109/LICS.2011.39 ·doi:10.1109/LICS.2011.39 [34] Diego Figueira、Piotr Hofman和Sł；awomir Lasota。2015.关联定时和注册自动机。计算机科学中的数学结构。出现。内政部：http://dx.doi.org/10.1017/S0960129514000322 ·Zbl 1362.68138号 ·doi:10.1017/S0960129514000322 [35] Diego Figueira和Luc Segoufin。2009年，关于数据字和树的前瞻性逻辑。2009年计算机科学数学基础。计算机科学讲义，第5734卷。施普林格，331-343。内政部：http://dx:doi:org/10:1007/978-3-642-03816-729 ·Zbl 1250.03050号 [36] 阿兰·芬克尔。1987年，Karp和Miller程序对结构良好的过渡系统的推广。在自动机，语言和编程。《计算机科学讲义》，第267卷。施普林格，499-508。内政部：http://dx.doi.org/10.1007/3-540-18088-5_43 ·Zbl 0633.68052号 ·doi:10.1007/3-540-18088-5_43 [37] 阿兰·芬克尔（Alain Finkel）和菲利普·施诺贝伦（Philippe Schnoebelen）。2001.到处都是结构良好的过渡系统！理论计算机科学256，1–2，63–92。内政部：http://dx.doi.org/10.1016/S0304-3975（00）00102-X·Zbl 0973.68170号 ·doi:10.1016/S0304-3975（00）00102-X [38] 哈维·弗里德曼（Harvey M.Friedman）。1999年。一些非常复杂的决策问题。1999年LICS会议记录。IEEE，加利福尼亚州洛斯阿拉米托斯，2-13。内政部：http://dx.doi.org/10.109/LICS.1999.782577 ·doi:10.1109/LICS.1999.782577 [39] 安德烈·格拉泽戈奇克（Andrzej Grzegorczyk）。一些递归函数类。Rozprawy Matematyczne 4，1–46。http://matwbn.icm.edu.pl/ksiazki/rm/rm04/rm0401.pdf。 ·Zbl 0052.24902号 [40] Christoph Haase、Sylvain Schmitz和Philippe Schnoebelen。2014.优先信道系统的力量。计算机科学中的逻辑方法10，4，第4条。内政部：http://dx.doi.org/10.2168/LMCS-10(4:4)2014 ·Zbl 1448.68341号 ·doi:10.2168/LMCS-10（4:4）2014年 [41] 米歇尔·哈克。向量加法系统的等式问题是不可判定的。理论计算机科学2，1，77–95。内政部：http://dx.doi.org/10.1016/0304-3975(76)90008-6 ·Zbl 0357.68038号 ·doi:10.1016/0304-3975（76）90008-6 [42] 谢尔盖·哈达德（Serge Haddad）、西尔万·施密茨（Sylvain Schmitz）和菲利普·施诺贝伦（Philippe Schnoebelen）。2012.时弧Petri网、数据网和其他丰富网络的顺序递归复杂性。2012年LICS会议记录。IEEE，加利福尼亚州洛斯阿拉米托斯，355–364。内政部：http://dx.doi.org/10.1109/LICS.2012.46 ·Zbl 1362.68214号 ·doi:10.1109/LICS.2012.46 [43] 马修·黑格。2014.衰老的地上树重写系统。2014年CSL-LICS会议记录。ACM，纽约州纽约市，第48条。内政部：http://dx.doi.org/10.1145/2603088.2603112 ·Zbl 1401.68135号 ·doi:10.1145/2603088.2603112 [44] Joseph Y.Halpern和Yoav Shoham。1991.时间间隔的命题模态逻辑。美国医学会杂志38，4，935–962。内政部：网址：http://dx.doi.org/10.1145/11524.115351 ·Zbl 0799.68175号 ·doi:10.1145/115234.115351 [45] 彼得·霍夫曼和帕特里克·托茨克。2014年，重新审查了单计数器网络的跟踪包含。在可达性问题中。计算机科学讲义，第8762卷。斯普林格，151-162。内政部：http://dx.doi.org/10.1007/978-3-319-11439-2_12 ·Zbl 1393.68117号 ·doi:10.1007/978-3-319-11439-2-12 [46] 彼得·扬č；1995年3月。Petri网的双相似性的不可判定性及相关问题。理论计算机科学148，2281–301。内政部：http://dx.doi.org/10.1016/0304-3975（95）00037-W·Zbl 0873.68147号 ·doi:10.1016/0304-3975（95）00037-W [47] 彼得·扬č；2001年3月。Petri网等价的非本原递归复杂性和不可判定性。理论计算机科学256，1-2，23-30。内政部：http://dx.doi.org/10.1016/S0304-3975(00)00100-6 ·Zbl 0974.68130号 ·doi:10.1016/S0304-3975（00）00100-6 [48] Marcin Jurdziń；滑雪和兰科·拉齐ć；。2011.数据树上的交替自动机和XPath可满足性。《美国计算机学会计算逻辑学报》第12、3、19条。内政部：http://dx:doi:org/10:1145/1929954:1929956 ·Zbl 1351.68141号 [49] Pratek Karandikar和Sylvain Schmitz。2013.嵌入后问题的参数顺序递归复杂性。软件科学和计算结构基础。计算机科学讲义，第7794卷。施普林格，273-288。内政部：http://dx.doi.org/10.1007/978-3642-37075-5_18 ·兹比尔1260.68179 ·doi:10.1007/978-3-642-37075-5_18 [50] Pratek Karandikar和Philippe Schnoebelen。2012年，解决常规嵌入后问题。计算机科学—；理论与应用。计算机科学讲义，第7353卷。施普林格，229-240。内政部：http://dx.doi.org/10.1007/978-3642-30642-6_22 ·Zbl 1315.03064号 ·doi:10.1007/978-3642-30642-6_22 [51] S.Rao Kosaraju。1982.向量加法系统可达性的可判定性。1982年STOC会议记录。ACM，纽约州纽约市，267-281。内政部：http://dx.doi.org/10.1145/800070.802201 ·doi:10.1145/800070.802201 [52] 罗恩·科曼斯。1990.使用度量时态逻辑指定实时属性。实时系统2、4、255–299。内政部：http://dx.doi.org/10.1007/BF01995674 ·doi:10.1007/BF01995674 [53] 约瑟夫·克鲁斯卡尔（Joseph B.Kruskal）。良准序理论：一个经常被发现的概念。组合理论杂志，A辑13，3，297–305。内政部：http://dx.doi.org/10:1016/0097-3165(72)90063-5 ·Zbl 0244.06002 [54] 让-吕克·兰伯特。1992年，决定Petri网可达性的结构。理论计算机科学99，1，79–104。内政部：http://dx.doi.org/10.1016/0304-3975（92）90173-D·Zbl 0769.68104号 ·doi:10.1016/0304-3975（92）90173-D [55] Sł；awomir Lasota和Igor Walukiewicz。2008.交替计时自动机。《美国计算机学会计算逻辑学报》9，2，第10条。内政部：http://dx.doi.org/10.1145/11342991.1342994 ·Zbl 1367.68172号 ·数字对象标识代码：10.1145/1342991.1342994 [56] Ranko Lazić；，Tom Newcomb，Joë；l O.Ouaknine、Andrew W.Roscoe和James B.Worrell。2008年。带有携带数据的令牌的网络。《基础信息》88、3、251–274·兹比尔1154.68090 [57] Ranko Lazić；，乔ë；O.Ouaknine和James B.Worrell。2013年，芝诺、大力神和九头蛇：向下理性终止是阿克曼。计算机科学的数学基础。计算机科学讲义，第8087卷。施普林格，643-654。内政部：http://dx.doi.org/10.1007/978-3642-40313-2_57 ·Zbl 1400.03034号 ·doi:10.1007/978-3-642-40313-2_57 [58] Ranko Lazić；和Sylvain Schmitz。2015.分支VASS、MELL和扩展的非元素复杂性。ACM计算逻辑学报16，3，第20条。内政部：http://dx.doi.org/10.1145/2733375 ·Zbl 1354.68128号 ·doi:10.1145/2733375 [59] Jé；第244页；我是勒鲁。2011.向量加法系统可达性问题：一个简短的自包含证明。2011年POPL会议记录。ACM，纽约州纽约市，307–316。内政部：http://dx.doi.org/10.1145/1926385.1926421 ·Zbl 1284.68429号 ·doi:10.1145/1926385.1926421 [60] Jé；第244页；我是勒鲁和西尔万·施密茨。2015.解密矢量加法系统中的可达性。2015年LICS会议记录。IEEE，加利福尼亚州洛斯阿拉米托斯，56–67。内政部：http://dx.doi.org/10.1109/LICS.2015.16 ·兹比尔1392.68308 ·doi:10.1109/LICS.2015.16 [61] 理查德·利普顿（Richard J.Lipton）。1976年，可达性问题需要指数空间。技术报告62。耶鲁大学计算机科学系，康涅狄格州纽黑文。http://www.cs.yale.edu/publications/techreports/tr63.pdf。 [62] 马丁·H·Lö；b和Stanley S.Wainer。1970.数论函数的层次结构，I.数理逻辑档案13，39–51。内政部：http://dx.doi.org/10.1007/BF01967649 ·兹比尔0211.31205 ·doi:10.1007/BF01967649 [63] 恩斯特·梅耶（Ernst W.Mayr）。1981.一般Petri网可达性问题的算法。1981年STOC会议记录。加利福尼亚州洛斯阿拉米托斯ACM，238–246。内政部：http://dx.doi.org/10.1145/800076.802477 ·数字对象标识代码：10.1145/800076.802477 [64] Ernst W.Mayr和Albert R.Meyer。1981.Petri网有限包含问题的复杂性。美国医学会杂志28，3，561–576。内政部：http://dx.doi.org/10.1145/322261.322271 ·Zbl 0462.68020号 ·doi:10.1145/322261.322271 [65] 肯尼思·麦卡龙（Kenneth McAloon）。1984.Petri网和大型有限集。理论计算机科学32，1–2，173–183。内政部：http://dx.doi.org/10.1016/0304-3975（84）90029-X·Zbl 0569.68046号 ·doi:10.1016/0304-3975（84）90029-X [66] 阿尔伯特·梅耶（Albert R.Meyer）。1975年。有序集理论固有的计算复杂性。国际数学家大会会议记录。477–482. http://www.mathunion.org/IMC/IMC1974.2/Main/ICM1974.2.0477.0482.ocr.pdf。 ·兹比尔0361.02061 [67] 阿尔伯特·梅耶（Albert R.Meyer）。1975年b。弱一元二阶继承理论不是元素递归的。在逻辑座谈会上。数学课堂笔记，第453卷。施普林格，132-154。内政部：http://dx.doi.org/10.1007/BFb0064872 ·doi:10.1007/BFb0064872 [68] 阿尔伯特·梅耶（Albert R.Meyer）和丹尼斯·里奇（Dennis M.Ritchie）。1967年。循环程序的复杂性。在1967年ACM会议记录中。ACM，纽约州纽约市，465-469。内政部：http://dx.doi.org/10.1145/800196.806014 ·doi:10.1145/800196.806014 [69] 安吉洛·蒙塔纳里（Angelo Montanari）、加布里埃尔·帕皮斯（Gabriele Puppis）和彼得罗·萨拉（Pietro Sala）。2010.Halpern和Shoham的最大可判定碎片’；区间的模态逻辑。在自动机，语言和编程。计算机科学讲义，第6199卷。施普林格，345–356。内政部：http://dx.doi.org/10.1007/978-3-642-14162-1_29 ·Zbl 1288.03017号 ·doi:10.1007/978-3-642-14162-1_29 [70] 皮埃尔吉奥·奥迪弗雷迪（Piergiorgio Odifreddi）。1999.经典递归理论，第二卷。《逻辑与数学基础研究》，第143卷。爱思唯尔。内政部：http://dx:doi:org/10:1016/S0049-237 x（99）80040-8 [71] 埃兰·奥姆里和安德烈亚斯·魏尔曼。2009.对阿克曼函数的相变阈值进行分类。《纯粹逻辑与应用逻辑年鉴》158，3，156-162。内政部：http://dx:doi:org/10:1016/j:apal:2007:02:004 [72] 乔ë；O.Ouaknine和James B.Worrell。2006.关于度量时态逻辑和故障图灵机。软件科学和计算结构基础。计算机科学讲义，第3921卷。施普林格，217-230。内政部：网址：http://dx.doi.org/10.1007/111690634_15 ·Zbl 1180.03021号 ·doi:10.1007/11690634_15 [73] 乔ë；O.Ouaknine和James B.Worrell。关于度量时态逻辑在有限单词上的可判定性和复杂性。计算机科学中的逻辑方法3，1，第8条。内政部：http://dx.doi.org/10.2168/LMCS-3(1:8)2007 ·邮编1128.03008 ·doi:10.2168/LMCS-3（1:8）2007年 [74] 查尔斯·拉科夫。向量加法系统的覆盖和有界问题。理论计算机科学6，2223-231。内政部：http://dx.doi.org/10.1016/0304-3975(78)90036-1 ·Zbl 0368.68054号 ·doi:10.1016/0304-3975（78）90036-1 [75] 罗伯特·里奇（Robert W.Ritchie）。1963.可预测计算函数类。美国数学学会学报106，1，139–173。内政部：http://dx.doi.org/10.1090/S0002-9947-1963-0158822-2 ·Zbl 0107.01001号 ·doi:10.1090/S0002-9947-1963-0158822-2 [76] 罗伯特·里奇（Robert W.Ritchie）。1965.基于Ackermann的递归函数类；s函数。太平洋数学杂志15，3，1027–1044。内政部：http://dx.doi.org/10.2140/pjm.1965.15.1027 ·兹伯利0133.24903 ·doi:10.2140/pjm.1965.15.1027 [77] 费尔南多·罗萨·弗拉尔多。2014.无序数据网的顺序递归复杂性。技术报告TR-4-14。教育部通知；ticos y计算ó；n、 马德里Complutense大学。https://federwin.sip.ucm.es/sic/investigacion/publicaciones/pdfs/TR-04-14.pdf。 [78] 哈维·E·罗斯。1984.子递归：函数和层次结构。牛津逻辑指南，第9卷。克拉伦登出版社·Zbl 0539.03018号 [79] Sylvain Schmitz和Philippe Schnoebelen。2011.使用Higman的乘法递归上界’；s引理。在自动机，语言和编程。计算机科学讲义，第6756卷。施普林格，441-452。内政部：http://dx.doi.org/10.1007/978-3642-22012-8_35 ·Zbl 1333.68179号 ·doi:10.1007/978-3-642-22012-8_35 [80] Sylvain Schmitz和Philippe Schnoebelen。2012.WQO理论的算法方面。2016年12月9日检索自http://cel.archives-ouvertes.fr/cel-00727025。 ·Zbl 1362.68214号 [81] Sylvain Schmitz和Philippe Schnoebelen。2013.结构良好的系统的力量。CONCUR 2013年—；并发理论。计算机科学讲义，第8052卷。施普林格，5–24岁。内政部：http://dx.doi.org/10.1007/978-3642-40184-8_2 ·Zbl 1390.68488号 ·doi:10.1007/978-3-642-40184-82 [82] 菲利普·施诺贝伦（Philippe Schnoebelen）。2002.验证有损信道系统具有非本原递归复杂性。信息处理信函83、5、251–261。内政部：http://dx.doi.org/10.1016/S0020-0190（01）00337-4·Zbl 1043.68016号 ·doi:10.1016/S0020-0190（01）00337-4 [83] 菲利普·施诺贝伦（Philippe Schnoebelen）。2010年，针对有损计数器和重置Petri网重新访问Ackermann-hardness。计算机科学数学基础。计算机科学讲义，第6281卷。施普林格，616–628。内政部：http://dx.doi.org/10.1007/978-3642-15155-2_54 ·Zbl 1287.68059号 ·doi:10.1007/978-3642-15155-2_54 [84] 赫尔穆特·施维滕贝格，1982年。纯类型lambda演算中规范化的复杂性。逻辑与数学基础研究110、453–457。内政部：http://dx.doi.org/10.1016/S0049-237X(09)70143-0 ·Zbl 0537.03028号 ·doi:10.1016/S0049-237X（09）70143-0 [85] Helmut Schwichtenberg和Stanley S.Wainer。2012.证明和计算。剑桥大学出版社·Zbl 1294.03006号 [86] 理查德·斯塔特曼（Richard Statman）。1979年。键入的λ-微积分不是初等递归的。理论计算机科学9，1，73–81。内政部：http://dx.doi.org/10.1016/0304-3975(79)90007-0 ·Zbl 0411.03050号 ·doi:10.1016/0304-3975（79）90007-0 [87] Larry J.Stockmeyer和Albert R.Meyer。1973.需要指数时间的单词问题。1973年STOC会议记录。ACM，纽约州纽约市，1-9。内政部：http://dx.doi.org/10.1145/800125.804029 ·Zbl 0359.68050号 ·doi:10.1145/800125.804029 [88] 托尼·谭。2010年，关于具有可判定空性问题的数据语言的pebble自动机。《计算机与系统科学杂志》76、8、778–791。内政部：http://dx:doi:org/10:1016/j:jcss:2010:03:004 ·兹比尔1208.68142 [89] Nikos Tzevelekos和Radu Grigore。2013年，历史登记自动化。软件科学和计算结构基础。计算机科学讲义，第7794卷。施普林格，273-288。内政部：http://dx:doi:org/10:1007/978-3-642-37075-52 ·Zbl 1260.68118号 [90] 阿拉斯代尔·厄克特。蕴涵的不可判定性及相关含义。符号逻辑杂志49，4，1059–1073。内政部：http://dx.doi.org/10.2307/2274261 ·Zbl 0581.03011号 ·doi:10.2307/2274261 [91] 阿拉斯代尔·厄克特。1999.关联逻辑中决策程序的复杂性II。符号逻辑杂志64，4，1774–1802。内政部：http://dx.doi.org/10.2307/2586811 ·Zbl 0945.03029号 ·doi:10.2307/2586811 [92] 谢尔盖·沃罗比奥夫。2004年，最非元素理论。信息与计算190，2，196–219。内政部：http://dx:doi:org/10:1016/j:ic:2004:02:002 ·兹比尔1064.03029 [93] 斯坦利·韦纳（Stanley S.Wainer）。有序递归函数的分类。数学逻辑档案13，3，136–153。内政部：http://dx.doi.org/10.1007/BF01973619 ·Zbl 0228.02027 ·doi:10.1007/BF01973619 [94] 安德烈亚斯·魏尔曼。1994.Kruskal’；的某些有限形式的复杂性边界；s定理。符号计算杂志18，5，463–488。内政部：http://dx.doi.org/10.1006/jsco.1994.1059 ·Zbl 0827.68055号 ·doi:10.1006/jsco.1994.1059 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。