González Huesca,Lourdes del Carmen酒店;Miranda-Perea,Favio E。;Linares-Arévalo,P.Selene 公理和对偶系统用于构造必要性,一种经过正式验证的等价性。 (英语) Zbl 1444.03054号 J.应用。非类别。日志。 29,第3号,255-287(2019).MSC公司:03B45号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{L.d.C.González Huesca}等人,J.Appl。非类别。日志。29,第3号,255-287(2019;Zbl 1444.03054) 全文: 内政部
贾纳丹·米斯拉;苏曼·罗伊 基于可判定超时的线性时序逻辑扩展。 (英语) Zbl 1398.03081号 J.应用。非类别。日志。 24,第3期,262-291(2014).MSC公司:03B44号 03B47号 03B70号 60年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Misra}和\textit{S.Roy},J.Appl。非类别。日志。24,第3626-291号(2014年;兹bl 1398.03081) 全文: 内政部
奥利弗·弗里德曼;马丁·兰格 确定无保护模态演算。 (英语) Zbl 1398.03092号 J.应用。非类别。日志。 23,第4期,353-371(2013).MSC公司:03B45号 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Friedmann}和\textit{M.Lange},J.Appl。非类别。日志。23,第4号,353-371(2013年;兹bl 1398.03092) 全文: 内政部
迈赫迪·达斯塔尼;约翰·朱尔斯·迈耶;Nick Tinnemeier 编程规范更改。 (英语) Zbl 1400.68055号 J.应用。非类别。日志。 22,编号1-2,151-180(2012).MSC公司:68号30 03B70号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.Dastani}等人,J.Appl。非类别。日志。22、编号1--2、151-180(2012;Zbl 1400.68055) 全文: 内政部
Dimitar P.Guelev。;柯特林·迪马;康斯坦丁·埃纳 知识、完美回忆和过去的交替时间时序逻辑:公理化和模型检查。 (英语) Zbl 1242.68161号 J.应用。非类别。日志。 21,第1期,93-131(2011).MSC公司:60年第68季度 03B44号 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{D.P.Guelev}等人,J.Appl。非类别。日志。21,第1号,93--131(2011;Zbl 1242.68161) 全文: 内政部
巴巴拉·杜宁·科普里茨;阮林安;斯扎·阿斯(Szałas)、安德烈吉(Andrzej) 带有规则包含公理的Converse-PDL:MAS逻辑框架。 (英语) Zbl 1242.03030号 J.应用。非类别。日志。 21,第1期,61-91(2011).MSC公司:03B35型 03B45号 60年第68季度 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{B.Dunin-Kȩplicz}等人,J.Appl。非类别。日志。21,第1号,61--91(2011;Zbl 1242.03030) 全文: 内政部
斯特凡·德姆里;阿兰·芬克尔;瓦伦丁·戈兰科;范·德里姆伦(van Drimmelen)、戈弗特(Govert) 平板Presburger计数器系统上的模型检查。 (英语) 兹比尔1242.68157 J.应用。非类别。日志。 20,第4期,313-344(2010).MSC公司:60年第68季度 05年3月 03英尺30英寸 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,J.Appl。非类别。日志。20,第4号,313--344(2010;Zbl 1242.68157) 全文: 内政部
汉斯·范·迪特马什;范·艾伊克(Jan van Eijck);威廉·吴 验证一百名囚犯和一个灯泡。 (英语) Zbl 1242.03042号 J.应用。非类别。日志。 20,第3期,173-191(2010).MSC公司:03B42号 05年3月 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{H.van Ditmarsch}等人,J.Appl。非类别。日志。20,第3号,173--191(2010;Zbl 1242.03042)
苏曼·罗伊 具有邻域模式的持续时间演算。 (英语) Zbl 1242.68169号 J.应用。非类别。日志。 20,编号1-2,81-126(2010).MSC公司:60年第68季度 03B25号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.Roy},J.Appl。非类别。日志。20,编号1--2,81-126(2010;Zbl 1242.68169) 全文: 内政部
爱奥华纳州布尔亚努;米卡·科恩;阿莱西奥·洛穆西奥 密码协议时间认知属性的自动验证。 (英语) Zbl 1186.68105号 J.应用。非类别。日志。 19,第4期,463-487(2009).MSC公司:68N20型 60年第68季度 94A60型 94A62型 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{I.Boureanu}等人,J.Appl。非类别。日志。19,第4号,463--487(2009;Zbl 1186.68105) 全文: 内政部
亚历山德罗·阿曼多;罗伯托·卡蓬;卢卡·孔帕尼亚 安全协议的LTL模型检查。 (英语) Zbl 1186.68276号 J.应用。非类别。日志。 19,第4期,403-429(2009).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Armando}等人,J.Appl。非类别。日志。19,第4号,403--429(2009;Zbl 1186.68276) 全文: 内政部
马林·米尔恰;特默尔库西亚 基于规则的系统的基础\(\rho\,\text{Log}\)。 (英语) Zbl 1184.68175号 J.应用。非类别。日志。 16,编号1-2,151-168(2006).MSC公司:68号30 2012年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Marin}和\textit{T.Kutsia},J.Appl。非类别。日志。16,编号1--2,151-168(2006;Zbl 1184.68175) 全文: 内政部
阿布勒·侯赛因;德克斯特·科赞 KAT-ML:带测试的Kleene代数交互式定理证明程序。 (英语) Zbl 1184.68457号 J.应用。非类别。日志。 16、第1-2、9-33号(2006).MSC公司:68吨15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Aboul-Hosn}和\textit{D.Kozen},J.Appl。非类别。日志。16,编号1--2,9-33(2006;Zbl 1184.68457) 全文: 内政部
安吉洛·蒙塔纳里;阿德里亚诺·佩隆;小狗,加布里埃尔 关于时间粒度理论与一个后继的一元二阶理论之间的关系。 (英语) Zbl 1186.03037号 J.应用。非类别。日志。 16,编号3-4,433-455(2006).MSC公司:03B44号 03B25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}等人,J.Appl。非类别。日志。16,编号3--4,433--455(2006;Zbl 1186.03037) 全文: 内政部 链接
斯特凡·德姆里 具有Presburger约束的线性时间时序逻辑:概述。 (英语) Zbl 1186.03036号 J.应用。非类别。日志。 16,第3-4、311-347号(2006).MSC公司:03B44号 05年3月 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri},J.Appl.(《应用》杂志)。非类别。日志。16,编号3--4,311--347(2006;Zbl 1186.03036) 全文: 内政部
乔瓦娜·达戈斯蒂诺;贾科莫·伦齐;法语,蒂姆 \(mu)-程序,模态逻辑的统一插值和互模拟量词。 (英语) Zbl 1186.03054号 J.应用。非类别。日志。 16,编号3-4,297-309(2006).MSC公司:03B70号 03B45号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.D'Agostino}等人,J.Appl。非类别。日志。16,编号3--4,297--309(2006;Zbl 1186.03054) 全文: 内政部
张东墨;诺曼·福 动态逻辑中的框架问题。 (英语) Zbl 1185.03059号 J.应用。非类别。日志。 15,第2期,215-239(2005).MSC公司:03B70号 03B45号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Zhang}和\textit{N.Foo},J.Appl。非类别。日志。15,第2号,215--239(2005;Zbl 1185.03059) 全文: 内政部
卡斯滕·卢茨;德克·沃尔特 带有原子程序否定的PDL。 (英语) Zbl 1185.03058号 J.应用。非类别。日志。 15,第2期,189-213(2005).MSC公司:03B70号 03B45号 60年第68季度 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{C.Lutz}和\textit{D.Walther},J.Appl。非类别。日志。15,第2号,189--213(2005;Zbl 1185.03058) 全文: 内政部 链接
洛雷达纳·阿法纳西耶夫;帕特里克·布莱克本;伊奥娜·迪米特里奥;贝特朗·盖菲;埃文·戈利斯;马尔滕·马克思;马尔滕·德·里杰克 有序树的PDL。 (英语) Zbl 1185.03056号 J.应用。非类别。日志。 第2期第15页,第115-135页(2005年).MSC公司:03B70号 03B45号 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Afanasiev}等人,J.Appl。非类别。日志。15,第2号,115--135(2005;Zbl 1185.03056) 全文: 内政部
D.圭列夫。 持续时间演算中的逻辑插值和状态投影。 (英语) 兹比尔1181.03013 J.应用。非类别。日志。 14,第1-2期,181-208(2004).MSC公司:03B44号 03C40号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Guelev},J.应用。非类别。日志。14,编号1--2,181-208(2004;Zbl 1181.03013) 全文: 内政部
Gómez,R。;H·鲍曼。 PITL2MONA:实现命题区间时间逻辑的决策过程。 (英语) Zbl 1181.03011号 J.应用。非类别。日志。 14,编号1-2,105-148(2004).MSC公司:03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Gómez}和\textit{H.Bowman},J.Appl。非类别。日志。14,编号1--2,105-148(2004;Zbl 1181.03011) 全文: 内政部
巴尔比亚尼,P。;瓦卡列洛夫,D。 带有程序交集的PDL:一个完整的公理化。 (英语) Zbl 1181.03030号 J.应用。非类别。日志。 13,第3-4、231-276号(2003年).MSC公司:03B70号 03B45号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}和\textit{D.Vakarelov},J.Appl。非类别。日志。13,编号3--4,231--276(2003;Zbl 1181.03030) 全文: 内政部
瓦伦丁·戈兰科 带有引用指针的时态逻辑和计算树逻辑。 (英语) Zbl 1033.03022号 J.应用。非类别。日志。 10,编号3-4,221-242(2000).MSC公司:03B70号 03B44号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko},J.应用。非类别。日志。10,编号3--4,221--242(2000;Zbl 1033.03022) 全文: 内政部
詹姆斯·布劳纳;詹姆斯·沃巴赫 用于形式化数据库更新语义的算法逻辑方法。 (英语) 兹伯利0923.68047 J.应用。非类别。日志。 8,第3期,199-220(1998).MSC公司:第68页,共15页 60年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{J.Brawner}和\textit{J.Vorbach},J.Appl。非类别。日志。8,第3号,199--220(1998;Zbl 0923.68047) 全文: 内政部
比塔·科尼科夫斯卡 二比三:在三值谓词演算上用于软件规范和验证的二值逻辑。 (英语) Zbl 0802.03028号 J.应用。非类别。日志。 3,第1号,39-71(1993). 审核人:C.Masalagiu(伊阿什) MSC公司:03B80号 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Konikowska},J.Appl。非类别。日志。3,编号1,39--71(1993;Zbl 0802.03028) 全文: 内政部
哈维尔·利奇;苏珊娜·尼娃 函数和数学用定理证明器的基础。 (英语) Zbl 0798.68152号 J.应用。非类别。日志。 3,第1期,7-38(1993).MSC公司:68吨15 03B35型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Leach}和\textit{S.Nieva},J.Appl。非类别。日志。3,编号1,7--38(1993;Zbl 0798.68152) 全文: 内政部