罗宾·赫希;米库拉斯(Mikulás,Szabolcs);蒂姆·斯托克斯 非确定性程序的代数:恶魔般的操作、命令和公理。 (英语) 兹比尔1499.08001 日志。J.IGPL公司 30,第5号,886-906(2022).MSC公司:08A02号 08A70号 05年6月 20个M10 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Hirsch}等人,日志。J.IGPL 30,第5号,886--906(2022年;Zbl 1499.08001) 全文: 内政部 arXiv公司 链接
巴勃罗·塞拉 BDI逻辑应用于人机合作对话的对话解释。 (英语) Zbl 1494.03077号 日志。J.IGPL公司 29,第4期,536-548(2021).MSC公司:03B70号 03B42号 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.Sierra},日志。J.IGPL 29,第4号,536--548(2021;Zbl 1494.03077) 全文: 内政部
阿瓜多,F。;Ascaliz,P。;卡巴拉,P。;佩雷斯,G。;维达尔,C。 ASP指称语义的验证:使用PVS定理证明器的案例研究。 (英语) Zbl 1407.68429号 日志。J.IGPL公司 25,第2期,195-213(2017).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Aguado}等人,日志。J.IGPL 25,第2期,195--213(2017;Zbl 1407.68429) 全文: 内政部
Nuñez-Gonzalez,J.David;博尔贾·艾尔迪;曼纽尔·格拉纳;米查·沃兹尼亚克 社交网络中影响最大化的新启发式方法。 (英语) Zbl 1405.91523号 日志。J.IGPL公司 24,第6期,996-2014(2016).MSC公司:91天30分 68英里11 64岁以下 60年第68季度 68T20型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{J.D.Nuñez-Gonzalez}等人,日志。J.IGPL 24,第6号,996--1014(2016;Zbl 1405.91523) 全文: 内政部
加西亚·费雷拉,伊凡;卡洛斯·劳登;伊戈尔·桑托斯;巴勃罗·加西亚·布林加斯 静态分析:简要调查。 (英语) Zbl 1407.68100号 日志。J.IGPL公司 24,第6号,871-882(2016).MSC公司:68号30 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.García-Ferreira}等人,Log。J.IGPL 24,第6号,871--882(2016;Zbl 1407.68100) 全文: 内政部
卡洛斯·阿雷塞斯;劳尔·费尔瓦里;纪尧姆·霍夫曼 改变关系的模式操作符。 (英语) Zbl 1405.03047号 日志。J.IGPL公司 23,第4号,601-627(2015).MSC公司:03B45号 60年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Areces}等人,日志。J.IGPL 23,第4号,601--627(2015;Zbl 1405.03047) 全文: 内政部
安德烈亚·博尔赫斯·艾弗拉尔;安德烈·路易斯·加尔迪诺;弗拉维奥·莱昂纳多·卡瓦尔坎蒂·德·莫拉;毛里西奥·阿亚拉·林科恩 PVS证明助手中的一阶统一。 (英语) Zbl 1407.68430号 日志。J.IGPL公司 22,第5期,758-789(2014).MSC公司:68吨15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.B.Avelar}等人,日志。J.IGPL 22,第5号,758--789(2014;Zbl 1407.68430) 全文: 内政部
布鲁诺·洛佩斯;贝内维迪斯,马里奥;爱德华·赫尔曼·海尔 Petri网的命题动态逻辑。 (英语) Zbl 1407.68335号 日志。J.IGPL公司 22,第5期,721-736(2014).MSC公司:68问题85 03B44号 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Lopes}等人,日志。J.IGPL 22,第5号,721--736(2014;Zbl 1407.68335) 全文: 内政部 链接
卡洛斯·阿雷塞斯;劳尔·费尔瓦里;纪尧姆·霍夫曼 交换逻辑。 (英语) Zbl 1342.03018号 日志。J.IGPL公司 22,第2期,309-332(2014).MSC公司:03B45号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Areces}等人,日志。J.IGPL 22,第2号,309--332(2014;Zbl 1342.03018) 全文: 内政部 链接
兰班,L。;J.鲁比奥。;马丁·马特奥斯(F.J.Martín-Mateos)。;鲁伊斯·雷纳,J.L。 验证单纯拓扑与代数之间的桥梁:Eilenberg-Zilber算法。 (英语) Zbl 1305.68157号 日志。J.IGPL公司 22,第1号,39-65(2014).MSC公司:68吨15 55-04 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{L.Lambán}等人,日志。J.IGPL 22,第1期,第39--65页(2014;Zbl 1305.68157) 全文: 内政部 链接
汉斯·范·迪特马什;范德霍克,威比;阮,季 连接动态认知逻辑和时间认知逻辑。 (英语) Zbl 1285.03008号 日志。J.IGPL公司 21,第3期,380-403(2013). 审核人:Audrey Yap(维多利亚州) MSC公司:03B42号 03B44号 68T27型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.van Ditmarsch}等人,Log。J.IGPL 21,编号3,380--403(2013;兹bl 1285.03008) 全文: 内政部
埃米利奥·杰苏斯·加列戈·阿里亚斯;詹姆斯·利普顿;马里尼奥,胡里奥;巴勃罗·诺盖拉 使用无变量关系代数的一阶统一。 (英语) Zbl 1253.68194号 日志。J.IGPL公司 19,第6期,790-820(2011).MSC公司:2012年第68季度 03B70号 68N17号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.J.Gallego Arias}等人,日志。J.IGPL 19,编号:6790-820(2011年;兹bl 1253.68194) 全文: 内政部 链接
Gilles Dowek;默多克·J·加贝。;多米尼克·P·穆利根。 允许的名词性术语及其统一:名词性技术的无限、共无限方法。 (英语) Zbl 1215.03048号 日志。J.IGPL公司 18,第6期,769-822(2010).MSC公司:03B70号 68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}等人,日志。J.IGPL 18,第6号,769--822(2010;Zbl 1215.03048) 全文: 内政部 arXiv公司
塞雷娜·维拉塔 需求工程的标准多代理方法。 (英语) Zbl 1196.68054号 日志。J.IGPL公司 18,第1期,245-274(2010).MSC公司:68号30 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{S.维拉塔},日志。J.IGPL 18,第1号,245--274(2010;Zbl 1196.68054) 全文: 内政部 链接
马里奥·贝尼维德斯。;谢赫特,L.Menasché 使用模态逻辑来表示和检查全局图形属性。 (英语) Zbl 1181.03032号 日志。J.IGPL公司 17,第5期,559-587(2009).MSC公司:03B70号 03B45号 03B62号 05C45号 65年第68季度 60年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.R.F.Benevides}和\textit{L.M.Schechter},日志。J.IGPL 17,第5号,559--587(2009;Zbl 1181.03032) 全文: 内政部 链接
Dov M.加巴伊。;阿米尔·普努利 一个完善的CTL(^*\)验证演绎系统。 (英语) Zbl 1156.68036号 日志。J.IGPL公司 16,第6号,499-536(2008).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}和\textit{A.Pnueli},Log。J.IGPL 16,第6号,499--536(2008;Zbl 1156.68036) 全文: 内政部 链接
乔治·沃萨达基斯 范畴抽象代数逻辑:基于规则的({\pi})机构的布鲁姆定理。 (英语) Zbl 1142.03037号 日志。J.IGPL公司 16,第3期,233-248(2008). 审核人:拉兹万·迪亚科内斯库(普洛耶什蒂) MSC公司:03G30型 03C95号 18立方厘米 68号30 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{G.Voutsadakis},日志。J.IGPL 16,第3号,233--248(2008;Zbl 1142.03037) 全文: 内政部 链接
波霍尔奎兹,詹姆·阿莱杭德罗 关于一般递归程序正确性的一个归纳定理。 (英语) Zbl 1128.68023号 日志。J.IGPL公司 15,编号5-6,373-399(2007).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bohórquez},日志。J.IGPL 15,第5--6、373--399号(2007;Zbl 1128.68023) 全文: 内政部
E.雅哈夫。;代表,T。;萨吉夫,M。;威廉·R。 验证通过演化逻辑指定的临时堆属性。 (英语) Zbl 1108.68077号 日志。J.IGPL公司 14,第5755-783号(2006年).MSC公司:60年第68季度 68号30 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{E.Yahav}等人,日志。J.IGPL 14,第5号,755--783(2006;Zbl 1108.68077) 全文: 内政部
亚历克斯·格罗斯;多龙·贝利德;米哈利斯·亚纳卡基斯 自适应模型检查。 (英语) Zbl 1108.68073号 日志。J.IGPL公司 14,第5期,729-744(2006).MSC公司:60年第68季度 68问题32 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{A.Groce}等人,《日志》。J.IGPL 14,第5号,729--744(2006;Zbl 1108.68073) 全文: 内政部 链接
雷纳·哈内尔 形式规范语言中的多值逻辑、部分逻辑和抽象。 (英语) Zbl 1145.03309号 日志。J.IGPL公司 13,编号415-433(2005).MSC公司:03B70号 03B50号 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Hähnle},日志。J.IGPL 13,第4期,415--433(2005;Zbl 1145.03309) 全文: 内政部
达席尔瓦,Geiza M.Hamazaki;爱德华·赫尔曼·海尔;保罗·A·S·维洛索。 探索直觉主义证明的计算内容。 (英语) 兹比尔1082.68019 日志。J.IGPL公司 13,第1号,69-93(2005).MSC公司:68号30 60年第68季度 68问题65 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{G.M.H.da Silva}等人,日志。J.IGPL 13,第1号,69-93(2005;Zbl 1082.68019) 全文: 内政部
Sheila R.M.维洛索。;保罗·A·S·维洛索。;雷纳塔·P·德·弗雷塔斯。 逻辑工程的应用。 (英语) Zbl 1088.03032号 日志。J.IGPL公司 13,第1号,29-46(2005).MSC公司:03B70号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.R.M.Veloso}等人,《日志》。J.IGPL 13,第1期,第29-46页(2005;Zbl 1088.03032) 全文: 内政部
C.F.M.弗默伦。 一阶逻辑指称语义的公理化。 (英语) Zbl 1062.03026号 日志。J.IGPL公司 12,第4期,277-299(2004).MSC公司:03B70号 68问题55 03B10号机组 68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.F.M.Vermeulen},日志。J.IGPL 12,第4号,277--299(2004;Zbl 1062.03026) 全文: 内政部
德意志,摩什;马丁·亨森。 部分关系语义的全正确性精化模型分析。二、。 (英语) Zbl 1051.03028号 日志。J.IGPL公司 11,第3期,319-352(2003). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:03B70号 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Deutsch}和\textit{M.C.Henson},日志。J.IGPL 11,第3期,319--352(2003;Zbl 1051.03028) 全文: 内政部 链接
德意志,摩什;马丁·亨森。;史蒂夫·里夫斯 部分关系语义的全正确性精化模型分析。一、。 (英语) Zbl 1050.03024号 日志。J.IGPL公司 11,第3期,287-317(2003). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:03B70号 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Deutsch}等人,日志。J.IGPL 11,第3期,287--317(2003;Zbl 1050.03024)
丹尼尔·达米安;奥利维尔·丹维 控制流信息的简单CPS转换。 (英语) Zbl 1009.68025号 日志。J.IGPL公司 10,第5期,501-515(2002).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Damian}和\textit{O.Danvy},Log。J.IGPL 10,第5号,501--515(2002;Zbl 1009.68025) 全文: 内政部 链接
范·艾伊克(Jan van Eijck);胡安·赫吉亚贝勒;布赖恩丹·奥斯·努拉因 表推理和动态一阶逻辑编程。 (英语) Zbl 0985.03018号 日志。J.IGPL公司 9,第3期,411-445(2001).MSC公司:03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.van Eijck}等人,日志。J.IGPL 9,第3期,411--445(2001;Zbl 0985.03018) 全文: 内政部
胡安·比卡雷奎;提奥·迪米特拉科斯;Dov Gabbay公司;蒂姆·梅鲍姆 实际形式发展中的插值。 (英语) Zbl 0981.03035号 日志。J.IGPL公司 9,第2期,231-243(2001). 审核人:阿尔贝托·佩特罗西(罗马) MSC公司:03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Bicarregui}等人,日志。J.IGPL 9,第2231-243号(2001年;Zbl 0981.03035) 全文: 内政部 链接
奥尔纳·利希滕斯坦;阿米尔·普努利 命题时态逻辑:可决定性和完备性。 (英语) Zbl 1033.03009号 日志。J.IGPL公司 8,第1号,55-85(2000).MSC公司:03B44号 03B25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Lichtenstein}和\textit{A.Pnueli},日志。J.IGPL 8,第1期,55--85(2000;Zbl 1033.03009) 全文: 内政部
娜塔莎·亚历奇纳;尼尔·伊梅尔曼 可达性逻辑:传递闭包逻辑的有效片段。 (英语) Zbl 0948.03022号 日志。J.IGPL公司 8,第3期,325-337(2000). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Alechina}和\textit{N.Immerman},日志。J.IGPL 8,第3号,325--337(2000;Zbl 0948.03022) 全文: 内政部 链接
卡罗尔·摩根;McIver,Annabelle K。 概率时序逻辑的期望变换器模型。 (英语) Zbl 1073.68679号 日志。J.IGPL公司 7,第6号,779-804(1999).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{C.Morgan}和\textit{A.K.McIver},Log。J.IGPL 7,第6号,779--804(1999;Zbl 1073.68679) 全文: 内政部 链接
斯科特·黑泽尔赫斯特;Carl-Johan H.塞格。 模型检查格:使用和推理信息顺序进行抽象。 (英语) Zbl 0930.03031号 日志。J.IGPL公司 7,第3期,375-411(1999).MSC公司:03B70号 60年第68季度 03B35型 03B44号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{S.Hazelhurst}和\textit{C.-J.H.Seger},日志。J.IGPL 7,第3号,375--411(1999;Zbl 0930.03031) 全文: 内政部
弗拉皮耶,M。;A.米利。;Desharnais,J。 统一程序建设和修改。 (英语) Zbl 0892.68063号 日志。J.IGPL公司 6,第2期,317-340(1998).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Frappier}等人,《日志》。J.IGPL 6,第2期,317--340(1998;Zbl 0892.68063) 全文: 内政部 链接
马塞洛·F·弗里亚斯。;加布里埃尔·A·鲍姆。;阿曼多·海伯勒(Armando M.Haeberer)。 fork代数中的可表示性和程序构造。 (英语) Zbl 0892.68062号 日志。J.IGPL公司 6,第227-257号(1998年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.F.Frias}等人,日志。J.IGPL 6,第2期,227--257(1998;Zbl 0892.68062) 全文: 内政部
冯·卡格尔(von Karger),伯加德(Burghard);鲁道夫·伯格哈默 时序逻辑的关系模型。 (英语) 兹比尔0906.03030 日志。J.IGPL公司 6,第2期,157-173(1998年). 审核人:J.Šefránek(布拉迪斯拉发) MSC公司:03B70号 60年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{B.von Karger}和\textit{R.Berghammer},日志。J.IGPL 6,第2期,157--173(1998;Zbl 0906.03030) 全文: 内政部 链接
James T.佐佐木。 混合构造性和赋值的类型理论。 (英语) Zbl 0871.03018号 日志。J.IGPL公司 5,第3期,375-411(1997). 审核人:D.格鲁斯卡(布拉迪斯拉发) MSC公司:03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.T.Sasaki},日志。J.IGPL 5,第3号,375--411(1997;Zbl 0871.03018) 全文: 内政部
马塞洛·F·弗里亚斯。;阿曼多·海伯勒(Armando M.Haeberer)。;保罗·A·S·维洛索。 fork代数的一个有限公理化。 (英语) Zbl 0873.03052号 日志。J.IGPL公司 5,第3期,311-319(1997). 审核人:S.Rudeanu(布库雷什蒂) MSC公司:03G15年 60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{M.F.Frias}等人,日志。J.IGPL 5,第3号,311--319(1997;Zbl 0873.03052) 全文: 内政部