西蒙·波娃;罗伯特·加尼安;斯泽德，斯特凡 偏序集上的模型检验存在逻辑。 （英语） Zbl 1367.68182号 ACM事务处理。计算。日志。 17，第2号，第10条，第35页（2016年）. 引用于4文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 03B70号 计算机科学中的逻辑 65年第68季度 算法和问题复杂性分析 关键词：偏序集;模型检查;参数复杂性;宽度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bova}等人，ACM Trans。计算。日志。17，第2号，第10条，第35页（2016年；Zbl 1367.68182） 全文： 内政部 arXiv公司 参考文献： [1] 诺加·阿隆、拉斐尔·尤斯特和乌里·兹威克。1995.颜色编码。美国医学会杂志42，4，844–856·Zbl 0885.68116号 ·数字对象标识代码：10.1145/210332.210337 [2] 加勒特·伯霍夫（Garrett Birkhoff）。1937.套圈。杜克数学杂志3443–454·doi:10.1215/S0012-7094-37-00334-X [3] Nathalie Caspard、Bruno Leclerc和Bernard Monjardet。2012.有限有序集——概念、结果和用途。剑桥大学出版社，纽约，纽约·Zbl 1238.06001号 [4] 布鲁诺·库塞尔（Bruno Courcelle）和乔斯·恩格弗里特（Joost Engelfriet）。2012.图结构和一元二阶逻辑——语言理论方法。剑桥大学出版社，纽约州纽约市·Zbl 1257.68006号 ·doi:10.1017/CBO9780511977619 [5] 布鲁诺·库塞尔（Bruno Courcelle）、约翰·马科斯基（Johann A.Makowsky）和乌迪·罗蒂奇（Udi Rotics）。有界剪接宽度图上的线性时间可解优化问题。计算系统理论33，2，125–150·Zbl 1009.68102号 ·doi:10.1007/s002249910009 [6] 布鲁诺·库塞尔（Bruno Courcelle）和斯蒂芬·奥拉里奥（Stephan Olariu）。2000.图的团宽度的上限。离散应用数学101，1–3，77–114·Zbl 0958.05105号 ·doi:10.1016/S0166-218X（99）00184-5 [7] 汤姆á；s Feder和Moshe Y.Vardi。单调单子SNP的计算结构和约束满足：通过数据日志和群论的研究。SIAM计算机杂志28，1，57–104·Zbl 0914.68075号 ·网址：10.1137/S009753979794266766 [8] Stefan Felsner、Vijay Raghavan和Jeremy Spinrad。2003.小宽度阶和小Dilworth数图的识别算法。订单20、4、351–364·Zbl 1059.05098号 ·doi:10.1023/B:ORDE.0000034609.99940.fb [9] Jö；rg Flum和Martin Grohe。2006.参数化复杂性理论。柏林斯普林格·弗拉格。 [10] 缩放á；n Furedi和Jeff Kahn。关于有界度有序集的维数。订单3，15-20·Zbl 0656.06005号 ·doi:10.1007/BF00403406 [11] Tomasz A.Gorazd和Pawel M.Idziak。1995.二元代数生成的变种的同构问题。代数普遍34，3，430–439·Zbl 0836.08007号 ·doi:10.1007/BF01182098 [12] Ronald L.Graham，Martin Grö；tschel和Lá；szló；爱á；1995年。组合数学手册（第1卷）。麻省理工学院出版社，马萨诸塞州剑桥。 [13] 马丁·格罗。2007.逻辑、图形和算法。在计算复杂性电子座谈会上。TR–07–091。 [14] 马丁·格罗（Martin Grohe）、斯蒂芬·克鲁泽（Stephan Kreutzer）和塞巴斯蒂安·西伯茨（Sebastian Siebertz）。2014.判定无处稠密图的一阶性质。在2014年STOC会议记录中。ACM，纽约州纽约市，89-98·Zbl 1315.05118号 ·doi:10.1145/2591796.2591851 [15] 彼得·杰文斯（Peter Jeavons）、大卫·科恩（David Cohen）和马克·吉森（Marc Gyssens）。1997.约束的闭包属性。美国医学会杂志44、4、527–548·Zbl 0890.68064号 ·数字对象标识代码：10.1145/263867.263489 [16] 弗莱明·尼尔森（Flemming Nielson）、汉内·里斯·尼尔森（Hanne Riis Nielson。2005.项目分析原则。斯普林格·兹比尔1069.68534 [17] Vaughan R.Pratt和Jerzy Tiuryn。1996年偏序集中不等式的可满足性。基础信息28，1–2，165–182·Zbl 0863.68073号 [18] 托比亚斯·劳什和克努特·雷内特。2010年，《计算生物学和生物信息学问题解决手册》。斯普林格。 [19] Bernd Schrö；命令。2003.有序集合：简介。伯克ä；用户。 ·doi:10.1007/978-1-4612-0053-6 [20] Detlef Seese。1996.线性时间可计算问题和一阶描述。计算机科学中的数学结构6，6，505–526·Zbl 0862.68056号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。