John C.McCabe-Dansted。;雷诺兹,马克 重写\(\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) 全文: 内政部
阿里特拉·哈兹拉;帕拉布·达斯古普塔;查克拉巴蒂,帕塔·普拉蒂姆 嵌入式网络物理系统可靠性规范的正式评估。 (英语) Zbl 1436.68196号 J.应用。日志。 18, 71-104 (2016).MSC公司:60年第68季度 68米15 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{A.Hazra}等人,J.Appl。日志。18、71——104(2016;Zbl 1436.68196) 全文: 内政部
阿金库米,B.O。 时间多次重复理论中的重合问题。 (英语) Zbl 1436.03119号 J.应用。日志。 15, 46-68 (2016).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.O.Akinkummi},J.应用。日志。15、46-68(2016年;Zbl 1436.03119) 全文: 内政部 arXiv公司
张燕;朱兆辉;张金金;周勇(Zhou,Yong) 公理化Lüttgen&Vogler的有限过程就绪模拟{CLL}_{R} \)。 (英语) Zbl 1457.68196号 J.应用。日志。 第3部分第4号第13条,654-675(2015).MSC公司:68问题85 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}等人,J.Appl。日志。13,第4号,第3部分,654--675(2015;Zbl 1457.68196) 全文: 内政部 arXiv公司
弗兰兹·巴德;马赛尔·利普曼 使用时间描述逻辑进行运行时验证-重新访问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.应用。日志。12,第4号,584--613(2014;Zbl 1310.68140) 全文: 内政部
马尔塞洛·贝尔萨尼。;阿基尔·弗里吉里;安杰洛·莫岑蒂;马蒂奥·普拉德拉;罗西,马蒂奥;圣彼得罗,皮耶路易吉 无自动机约束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公司
贝内迪克特·博利格;西里亚克,爱斯瓦里亚;保罗·加斯丁;马克·泽顿 并发递归程序的时态逻辑:可满足性和模型检查。 (英语) 兹比尔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) 全文: 内政部
博扬·马里科维奇;佐兰·奥格尼亚诺维奇;道德,德拉甘;阿列克桑达尔·佩罗维奇 时间流同构于(ω^2)的命题线性时间逻辑。 (英语) Zbl 1328.03017号 J.应用。日志。 12,第2期,208-229(2014).MSC公司:03B44号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{B.Marinković}等人,J.Appl。日志。12,第2号,208--229(2014;Zbl 1328.03017) 全文: 内政部 arXiv公司
M·亚伯拉罕。;贝尔弗,I。;D.M.加巴伊。;美国施罗德。 塔木德公告逻辑中实体的未来决定。 (英语) Zbl 1280.03017号 J.应用。日志。 11,No.1,63-90(2013).MSC公司:03B42号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Abraham}等人,J.Appl。日志。11,第1号,63--90(2013;Zbl 1280.03017) 全文: 内政部
克莱尔·狄克逊;鲍里斯·科涅夫;迈克尔·费希尔;谢利·尼蒂亚迪 带约束的演绎时间推理。 (英语) Zbl 1262.03032号 J.应用。日志。 11,第1期,30-51页(2013年).MSC公司:03B44号 03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Dixon}等人,J.Appl。日志。11、1号、30--51(2013;Zbl 1262.03032) 全文: 内政部
西尔维奥·多·拉戈·佩雷拉;莱利安·德·巴罗斯修女 在不确定性面前竭尽全力的计划代理。 (英语) Zbl 1262.68162号 J.应用。日志。 10,第4期,419-430(2012).MSC公司:68T20型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Do Lago Pereira}和\textit{L.Nunes de Barros},J.Appl。日志。10,第4号,419--430(2012;Zbl 1262.68162) 全文: 内政部
丹尼尔·罗内达尔 时间古生物逻辑和语义表。 (英语) Zbl 1264.03054号 J.应用。日志。 10,第3期,219-237(2012).MSC公司:03B45号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Rönnedal},J.Appl。日志。10,第3号,219--237(2012;Zbl 1264.03054) 全文: 内政部
诺里希罗·卡米德;海因里希·瓦辛 将线性时间逻辑与构造性和超一致性相结合。 (英语) Zbl 1207.03022号 J.应用。日志。 8,第1号,33-61(2010). 审核人:Osamu Sonobe(福洛尼卡) MSC公司:03B44号 03B70号 03B53号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}和\textit{H.Wansing},J.Appl。日志。8,编号1,33-61(2010年;Zbl 1207.03022) 全文: 内政部
巴勃罗·卡斯特罗。;迈鲍姆,T.S.E。 道义动作逻辑、原子布尔代数和容错。 (英语) Zbl 1193.03060号 J.应用。日志。 7,第4期,441-466(2009).MSC公司:03B70号 03B44号 03B45号 05年3月 68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{P.F.Castro}和\textit{T.S.E.Maibaum},J.Appl。日志。7,第4号,441--466(2009;Zbl 1193.03060) 全文: 内政部
D.阿尔拉杰。;O·雷。;A.拉索。;乌奇特尔,S。 使用诱因和归纳法细化操作需求。 (英语) Zbl 1176.68152号 J.应用。日志。 7,第3期,275-288(2009).MSC公司:68T05型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{D.Alrajeh}等人,J.Appl。日志。7,第3号,275--288(2009;Zbl 1176.68152) 全文: 内政部
埃里克·帕奎特 关于基于历史的结构的一些评论。 (英语) Zbl 1138.03028号 J.应用。日志。 5,第4号,613-624(2007).MSC公司:03B80号 03B42号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{E.Pacuit},J.Appl。日志。5,第4号,613--624(2007;Zbl 1138.03028) 全文: 内政部
佛朗哥·雷蒙迪;阿莱西奥·洛穆西奥 通过有序二元决策图的模型检查实现多智能体系统的自动验证。 (英语) Zbl 1122.68076号 J.应用。日志。 5,第2期,235-251(2007).MSC公司:60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Raimondi}和\textit{A.Lomuscio},J.Appl。日志。5,第2号,235--251(2007;Zbl 1122.68076) 全文: 内政部
劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德 在时序动作逻辑中指定和验证交互协议。 (英语) Zbl 1122.68122号 J.应用。日志。 5,第2期,214-234(2007).MSC公司:68T27型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{L.Giordano}等人,J.Appl。日志。5,No.2,214--234(2007;Zbl 1122.68122) 全文: 内政部
V.戈兰科。;A.蒙塔纳里。;Sala,P。;Sciavicco,G。 命题区间时序逻辑的一般表方法:理论与实现。 (英语) Zbl 1104.03010号 J.应用。日志。 4,第3号,305-330(2006). 审核人:Manuel Ojeda Aciego(马拉加) MSC公司:03B44号 03B70号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko}等人,J.Appl。日志。4,第3号,305-330(2006;Zbl 1104.03010) 全文: 内政部 链接
马西莫·弗朗西切特;马尔滕·德·里杰克 模型检查混合逻辑(应用于半结构化数据)。 (英语) Zbl 1100.68065号 J.应用。日志。 第4期,第3期,279-304页(2006年).MSC公司:60年第68季度 03B44号 03B45号 2015年第68季度 2017年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.Franceschet}和\textit{M.de Rijke},J.Appl。日志。4、编号3、279--304(2006;Zbl 1100.68065) 全文: 内政部
克莱尔·狄克逊 使用知识的时序逻辑进行规范和验证–案例研究。 (英语) Zbl 1095.68050号 J.应用。日志。 4,第1期,50-78(2006).MSC公司:60年第68季度 03B42号 03B44号 03B35型 91年2月26日 PDF格式BibTeX公司 XML格式引用 \textit{C.Dixon},J.应用。日志。4,编号1,50--78(2006;Zbl 1095.68050) 全文: 内政部
Franceschet,马西莫;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;圭多·西亚维科 时间粒度的二进制谓词的可定义性和可判定性。 (英语) Zbl 1101.03016号 J.应用。日志。 4,第2期,168-191(2006).MSC公司:03B25号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Franceschet}等人,J.Appl。日志。4,第2号,168--191(2006;Zbl 1101.03016) 全文: 内政部
亚历山大·博洛托夫;阿提·巴苏科斯基 扩展计算树逻辑ECTL的子句解析方法。 (英语) Zbl 1101.03017号 J.应用。日志。 4,第2期,141-167(2006).MSC公司:03B35型 03B44号 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bolotov}和\textit{A.Basukoski},J.Appl。日志。4,编号2141-167(2006年;兹bl 1101.03017) 全文: 内政部
菲利普·巴尔比亚尼;Jean-François康多塔;杰拉德·利戈扎特 关于(mathcal{INDU})演算的一致性问题。 (英语) Zbl 1098.03038号 J.应用。日志。 4,第2期,119-140(2006).MSC公司:03B70号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}等人,J.Appl。日志。4,第2号,119--140(2006;Zbl 1098.03038) 全文: 内政部
奥奎斯特,伦纳德 时态和道义情态的结合:关于具有历史必然性和条件义务的时间逻辑的(R{t})方法。 (英语) Zbl 1081.03016号 J.应用。日志。 3,编号3-4,421-460(2005). 审核人:路易斯·高布尔(塞勒姆) MSC公司:03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{L.奥奎斯特},J.应用。日志。3、编号3--4、421--460(2005;Zbl 1081.03016) 全文: 内政部
米洛舍·阿塞尼耶维奇 语法和语义上细微差异以及基于瞬时和基于周期的时间本体的广义概念。 (英语) Zbl 1032.03002号 J.应用。日志。 1,第1-2期,第1-12期(2003年).MSC公司:03A05号 03B30型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Arsenijević},J.Appl。日志。1,编号1--2,1--12(2003;Zbl 1032.03002) 全文: 内政部