罗宾·赫希;米库拉斯(Mikulás,Szabolcs);蒂姆·斯托克斯 非确定性程序的代数:恶魔般的操作、命令和公理。 (英语) Zbl 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逻辑应用于人机合作对话的对话解释。 (英语) 兹比尔1494.03077 日志。J.IGPL公司 29,第4期,536-548(2021).MSC公司:03B70号 03B42号 60年第68季度 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{P.Sierra},日志。J.IGPL 29,第4号,536--548(2021;Zbl 1494.03077) 全文: 内政部
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) 全文: 内政部
布鲁诺·洛佩斯;贝内维迪斯,马里奥;爱德华·赫尔曼·海尔 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公司 第2号第22页,第309-332页(2014年).MSC公司:03B45 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Areces}等人,日志。J.IGPL 22,编号2309-332(2014;兹bl 1342.03018) 全文: 内政部 链接
汉斯·范·迪特马什;范德霍克,威比;阮,季 连接动态认知逻辑和时间认知逻辑。 (英语) Zbl 1285.03008号 日志。J.IGPL公司 21,第3期,380-403(2013). 审核人:Audrey Yap(维多利亚州) MSC公司:03B42号 03B44号 第68页第27页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.van Ditmarsch}等人,Log。J.IGPL 21,第3号,380--403(2013;Zbl 1285.03008) 全文: 内政部
贝内维特斯,马里奥·R·F·。;谢赫特,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) 全文: 内政部 链接
E.雅哈夫。;代表,T。;萨吉夫,M。;威廉·R。 验证通过演化逻辑指定的临时堆属性。 (英语) Zbl 1108.68077号 日志。J.IGPL公司 14,第5期,755-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,第4期,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·维洛索。 探索直觉主义证明的计算内容。 (英语) Zbl 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·维洛索。;de Freitas、Renata 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) 全文: 内政部
德意志,摩什;马丁·亨森。 部分关系语义的全正确性精化模型分析。二、。 (英语) 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},Log。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)
胡安·比卡雷吉;提奥·迪米特拉科斯;Dov Gabbay公司;蒂姆·迈鲍姆 实际形式发展中的插值。 (英语) Zbl 0981.03035号 日志。J.IGPL公司 9,第231-243号(2001年). 审核人:阿尔贝托·佩特罗西(罗马) MSC公司:03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Bicarregui}等人,日志。J.IGPL 9,第2期,231--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) 全文: 内政部 链接
卡罗尔·摩根;Annabelle K.McIver。 概率时序逻辑的期望变换器模型。 (英语) 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) 全文: 内政部
马丁内斯·洛佩斯,巴勃罗·E。;加布里埃尔·A·鲍姆。 分叉代数数据类型。 (英语) Zbl 0905.68093号 日志。J.IGPL公司 6,第4期,531-543(1998).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{P.E.Martínez-López}和\textit{G.A.Baum},日志。J.IGPL 6,第4期,531--543(1998;Zbl 0905.68093) 全文: 内政部
弗拉皮耶,M。;A.米利。;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,第2期,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);鲁道夫·伯哈默 时间逻辑的关系模型。 (英语) Zbl 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.Gruska(布拉迪斯拉发) 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) 全文: 内政部