拉尔斯·库茨;伯恩德·芬克贝纳 具有过去和边界的线性时间时序逻辑的高效并行路径检查。 (英语) Zbl 1253.68221号 日志。方法计算。科学。 8,第4号,第10号文件,第24页(2012年).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Kuhtz}和\textit{B.Finkbeiner},日志。方法计算。科学。8,第4号,第10号论文,24页(2012;Zbl 1253.68221) 全文: 内政部 arXiv公司
斯特凡·德姆里;亚历山大·拉比诺维奇 序数类上线性时间逻辑的复杂性。 (英语) 兹比尔1213.03027 日志。方法计算。科学。 6,第4号,第9号论文,25页(2010年).MSC公司:03B44号 03B25号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{A.Rabinovich},Log。方法计算。科学。6,第4号,第9号论文,25页(2010年;Zbl 1213.03027) 全文: 内政部 arXiv公司