马尔塞洛·贝尔萨尼。;阿契尔弗里格里;安杰洛·莫尔岑蒂;马蒂奥·普拉德拉;罗西,马蒂奥;圣彼得罗,皮耶路易吉 无自动机约束LTL可满足性检查。 (英语) Zbl 1310.68141号 J.应用。日志。 12,第4期,522-557(2014).MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bersani}等人,J.Appl。日志。12,第4号,522--557(2014;Zbl 1310.68141) 全文: 内政部 arXiv公司
贝内迪克特·博利格;西里亚克,爱斯瓦里亚;保罗·加斯廷;马克·泽顿 并发递归程序的时态逻辑:可满足性和模型检查。 (英语) Zbl 1310.68142号 J.应用。日志。 12,第4号,395-416(2014).MSC公司:第68季度第60季度 03B44号 68号30 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人,J.Appl。日志。12,第4395-416号(2014年;兹bl 1310.68142) 全文: 内政部
马丁·蒙德亨克;托马斯·施耐德;托马斯·施温蒂克;沃尔克·韦伯 传递框架上混合逻辑的复杂性。 (英语) Zbl 1215.03035号 J.应用。日志。 8,第4期,422-440(2010).MSC公司:03B45号 03年2月25日 2015年3月1日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Mundhenk}等人,J.Appl。日志。8,第4号,422--440(2010;Zbl 1215.03035) 全文: 内政部
阿恩·迈尔;马丁·蒙德亨克;托马斯·施耐德;迈克尔·托马斯;沃尔克·韦伯;费利克斯·维斯 混合逻辑片段可满足性的复杂性。一、。 (英语) Zbl 1215.03034号 J.应用。日志。 8,第4号,409-421(2010).MSC公司:03B45号 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{A.Meier}等人,J.Appl。日志。8,第4号,409--421(2010;Zbl 1215.03034) 全文: 内政部
斯特凡·德姆里;丹尼斯·卢吉兹 具有Presburger约束的模态逻辑的复杂性。 (英语) Zbl 1220.03008号 J.应用。日志。 8,第3期,233-252(2010年). 审核人:Manuel Ojeda Aciego(马拉加) MSC公司:03B45号 03B70号 2017年第68季度 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{D.Lugiez},J.Appl。日志。8,第3号,233--252(2010;Zbl 1220.03008) 全文: 内政部
斯特凡·戈勒;德克·诺沃特卡 关于PDL扩展的注释。 (英语) Zbl 1156.03033号 J.应用。日志。 6,第4号,606-608(2008).MSC公司:03B70号 03年2月25日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Göller}和\textit{D.Nowotka},J.Appl。日志。6,第4号,606--608(2008;Zbl 1156.03033) 全文: 内政部