安卡·穆斯科尔;伊戈尔·瓦卢基维奇 LTL的NP完整片段。 （英语） Zbl 1161.03303号 发现的国际期刊。计算。科学。 16，第4期，743-753（2005）. 这篇文章已经发表在Lect上。注释计算。科学。3340, 334-344 (2004;Zbl 1117.03317号). 引用于三文件 MSC公司： 03B44号 时间逻辑 65年第68季度 算法和问题复杂性分析 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 60年第68季度 规范和验证（程序逻辑、模型检查等） 引文：兹比尔1117.03317 PDF格式BibTeX公司 XML格式引用 \textit{A.Muscholl}和\textit{I.Walukiewicz}，国际期刊发现。计算。科学。16，第4号，743--753（2005；Zbl 1161.03303） 全文： 内政部 参考文献： [1] 内政部：10.1016/0022-0000（93）90005-H·Zbl 0784.03014号 ·doi:10.1016/0022-0000（93）90005-H [2] 内政部：10.1006/inco.2001.3094·兹比尔1009.68072 ·doi:10.1006/inco.2001.3094 [3] 内政部：10.1007/978-94-015-9586-5_21·doi:10.1007/978-94-015-9586-5_21 [4] 内政部：10.1016/0167-6423（87）90036-0·Zbl 0615.68019号 ·doi:10.1016/0167-6423（87）90036-0 [5] 内政部：10.1007/s00236-003-0136-5·Zbl 1084.68073号 ·doi:10.1007/s00236-003-0136-5 [6] Schnoebelen博士，模态逻辑进展4，第437页- [7] 内政部：10.1145/3828.3837·Zbl 0632.68034号 ·数字对象标识代码：10.1145/3828.3837 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。