弗兰兹·巴德;马赛尔·利普曼 使用时间描述逻辑进行运行时验证-重新访问LTL。 (英语) Zbl 1310.68140号 J.应用。日志。 12,第4号,584-613(2014)。MSC公司:60年第68季度 03B44型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{M.Lippmann},J.Appl。日志。12,第4号,584--613(2014年;兹bl 1310.68140) 全文: 内政部
Dov Gabbay公司;伊利亚州夏皮罗夫斯基;瓦伦丁·谢特曼 模态逻辑的乘积和模态代数的张量积。 (英语) Zbl 1345.03038号 J.应用。日志。 12,第4期,570-583(2014)。MSC公司:03B45号 03B62号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{D.Gabbay}等人,J.Appl。日志。12,第4号,570--583(2014;Zbl 1345.03038) 全文: 内政部
达戈斯蒂诺,马塞洛;马里奥广场;加布里埃尔·普奇尼 控制单调性的逻辑演算。 (英语) Zbl 1345.03102号 J.应用。日志。 12,第4期,558-569(2014)。MSC公司:05年3月 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{M.D'Agostino}等人,J.Appl。日志。12,第4号,558--569(2014;Zbl 1345.03102) 全文: 内政部
马尔塞洛·贝尔萨尼。;阿基尔·弗里吉里;安杰洛·莫尔岑蒂;马蒂奥·普拉德拉;罗西,马蒂奥;圣皮耶特罗,皮尔路易吉 无自动机约束LTL可满足性检查。 (英语) Zbl 1310.68141号 J.应用。日志。 12,第4期,522-557(2014)。MSC公司:60年第68季度 03B44型 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bersani}等人,J.Appl。日志。12,第4号,522--557(2014;Zbl 1310.68141) 全文: 内政部 arXiv公司
苏希拉·卡奇;纳姆拉塔·帕特尔 基于假设的比较偏好陈述分析。 (英语) Zbl 1301.03030号 J.应用。日志。 12,第4期,501-521(2014)。MSC公司:03B60号 91B06型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kaci}和\textit{N.Patel},J.Appl。日志。12,第4号,501--521(2014;Zbl 1301.03030) 全文: 内政部 链接
Judit X·马达拉斯。;谢凯利(Székely,Gergely) 超光速粒子的存在符合相对论动力学。 (英语) Zbl 1301.83004号 J.应用。日志。 12,第4期,477-500(2014)。MSC公司:83A05号 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{J.X.Madarász}和\textit{G.székely},J.Appl。日志。12,第4号,477--500(2014;Zbl 1301.83004) 全文: 内政部 arXiv公司
Kließ,M.S。;巴黎,J.B。 二阶归纳逻辑和威尔默斯原理。 (英语) Zbl 1395.03013号 J.应用。日志。 12,第4期,462-476(2014)。MSC公司:03B48号 03B15号机组 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.S.Kließ}和\textit{J.B.Paris},J.Appl。日志。12,第4号,462--476(2014;Zbl 1395.03013) 全文: 内政部
克莱顿·彼得森 范畴命令:作为道义逻辑基础的范畴理论。 (英语) 兹比尔1395.03010 J.应用。日志。 第41217-461号(2014)。MSC公司:03B45号 18B99型 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{C.Peterson},J.应用。日志。12,第4号,417--461(2014;Zbl 1395.03010) 全文: 内政部
贝内迪克特·博利格;西里亚克,爱斯瓦里亚;保罗·加斯丁;马克·泽顿 并发递归程序的时态逻辑:可满足性和模型检查。 (英语) 兹比尔1310.68142 J.应用。日志。 12,第4号,395-416(2014)。MSC公司:60年第68季度 03B44型 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人,J.Appl。日志。12,第4号,395--416(2014;Zbl 1310.68142) 全文: 内政部
布鲁诺·特奥 用于搜索有错误游戏的命题动态逻辑。 (英语) Zbl 1395.03011号 J.应用。日志。 12,第4期,377-394(2014)。MSC公司:03B45号 03B50号 03B70号 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{B.Teheux},J.应用。日志。12,第4号,377--394(2014;Zbl 1395.03011) 全文: 内政部 arXiv公司