约翰·丹斯特德。;马克·雷诺兹 重写\(\mathrm{CTL}^\ast\)的规则。 (英语) Zbl 1436.03124号 J.应用。日志。 21, 24-56 (2017).MSC公司:03B44号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.C.McCabe-Dansted}和textit{M.Reynolds},J.Appl。日志。21、24-56(2017年;Zbl 1436.03124) 全文: 内政部
谢尔盖·巴本尼舍夫;马丁斯(Manuel A.Martins)。 隐逻辑的行为等价:一种抽象代数方法。 (英语) Zbl 1436.68193号 J.应用。日志。 16, 72-91 (2016).MSC公司:60年第68季度 03G27号 PDF格式BibTeX公司 XML格式引用 \textit{S.Babenyshev}和textit{M.A.Martins},J.Appl。日志。16、72——91(2016;Zbl 1436.68193) 全文: 内政部
博扬·马里科维奇;Ognjanović,佐兰;道德,德拉甘;阿列克桑达尔·佩罗维奇 时间流同构于(ω^2)的命题线性时间逻辑。 (英语) Zbl 1328.03017号 J.应用。日志。 12,第2期,208-229(2014).MSC公司:03B44号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{B.Marinković}等人,J.Appl。日志。12,编号2208-229(2014年;兹bl 1328.03017) 全文: 内政部 arXiv公司
罗宾·赫希;米库拉斯(Mikulás,Szabolcs) 有序域代数。 (英语) Zbl 1284.03275号 J.应用。日志。 第3期第11期,第266-271页(2013年).MSC公司:03G15年 PDF格式BibTeX公司 XML格式引用 \textit{R.Hirsch}和\textit{S.MikuláS},J.Appl。日志。11,第3号,266-271(2013年;兹bl 1284.03275) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 在Maurer机器上模拟图灵机器。 (英语) Zbl 1150.03011号 J.应用。日志。 6,第1号,1-23(2008). 审核人:丹尼尔拉·马林内斯库(布拉索夫) MSC公司:03日第10天 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},J.Appl。日志。6,第1号,1--23(2008;Zbl 1150.03011) 全文: 内政部 链接
伊夫·邦坦普斯;皮埃尔·伊夫·肖本斯 基于场景的代理验证和设计的计算复杂性。 (英语) Zbl 1122.68066号 J.应用。日志。 5,第2期,252-276(2007).MSC公司:65年第68季度 60年第68季度 68T01型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Bontemps}和\textit{P.-Y.Schobbens},J.Appl。日志。5,第2号,252--276(2007;Zbl 1122.68066) 全文: 内政部
克里斯托弗·沃尔顿。 可验证的代理对话。 (英语) 兹比尔1119.68392 J.应用。日志。 5,第2期,197-213(2007).MSC公司:68T05型 68T01型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.D.Walton},J.应用。日志。5,第2197-213号(2007年;兹bl 1119.68392) 全文: 内政部