苏菲·平奇纳特 书评:S.Demri等人,《计算机科学中的时间逻辑》。有限状态系统。 (英语) Zbl 1436.00024号 螺柱日志。 107,第5号,1083-1088(2019).MSC公司:00A17年 68-02 03B44号 第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Pinchinat},螺柱日志。107,第5号,1083--1088(2019;Zbl 1436.00024) 全文: 内政部
朱塞佩·德贾科莫;伊夫莱斯佩伦斯;法比奥·帕特里齐;斯塔夫罗斯,瓦索斯 有界信念情境演算代理的进展和验证。 (英语) Zbl 1397.68191号 螺柱日志。 104,第4期,705-739(2016).MSC公司:第68页第42页 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.De Giacomo}等人,研究日志。104、No.4、705--739(2016;Zbl 1397.68191) 全文: 内政部
波埃纳州什切尼亚克市;安德烈·兹布雷泽兹尼 通过有界模型检查检查定时解释系统的EMTLK属性。 (英语) Zbl 1417.68106号 螺柱日志。 104,第4期,641-678(2016).MSC公司:第68季度第60季度 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Woźna-Szcze shi niak}和\textit{A.Zbrzezny},研究日志。104,编号4641-678(2016;兹bl 1417.68106) 全文: 内政部
Martins,医学硕士。;马德拉,A。;巴博萨,L.S。 对逻辑解释的联合观点。 (英语) Zbl 1353.68185号 螺柱日志。 101,第4期,783-825(2013).MSC公司:68问题65 03G30型 18个C20 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Martins}等人,研究日志。101,编号4,783-825(2013年;兹bl 1353.68185) 全文: 内政部 链接
贾莫·科廷宁 无量词依赖逻辑公式的一致性和计算复杂性。 (英语) Zbl 1283.03065号 螺柱日志。 101,第2期,267-291(2013).MSC公司:03B70号 65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Kontinen},研究日志。101,第2号,267--291(2013;Zbl 1283.03065) 全文: 内政部 链接
金·索林 抽象动作代数中的对偶选择和迭代。 (英语) 兹比尔1280.03039 螺柱日志。 100,第3期,607-630(2012).MSC公司:03B70号 03G27号 第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Solin},螺柱日志。100,第3号,607--630(2012;Zbl 1280.03039) 全文: 内政部
Dov M.加巴伊。;斯扎·阿斯、安德烈吉 有限图上的注释理论。 (英语) Zbl 1185.03057号 螺柱日志。 93,编号2-3,147-180(2009).MSC公司:03B70号 03C10号机组 68N17号 2017年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}和\textit{A.Szałas},Stud.Log。93,编号2--3,147-180(2009;Zbl 1185.03057) 全文: 内政部 链接
阿诺·阿夫隆;比塔·科尼科夫斯卡 推理计算错误的证明系统。 (英语) Zbl 1169.03022号 螺柱日志。 91,第2号,273-293(2009).MSC公司:03B70号 03B50 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron}和\textit{B.Konikowska},Stud.Log。91,第2号,273--293(2009;Zbl 1169.03022) 全文: 内政部
乌尔里希·伯杰;斯特凡·伯格霍费尔;皮埃尔·勒图泽伊;赫尔穆特·施维赫滕贝格 从规范化证明中提取程序。 (英语) Zbl 1095.03016号 螺柱日志。 82,第1期,25-49(2006).MSC公司:03B70号 03B35型 03B40型 05年3月 68号30 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger}等人,研究日志。82、第1号、第25-49号(2006年;Zbl 1095.03016) 全文: 内政部 哈尔
雅罗斯拉夫·什兰科 双重直觉主义逻辑和各种否定:科学研究的逻辑。 (英语) Zbl 1085.03022号 螺柱日志。 80,编号2-3,347-367(2005).MSC公司:03B60号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Shramko},螺柱日志。80,编号2-347-367(2005年;兹bl 1085.03022) 全文: 内政部
迪特马尔·伯旺格 对于平价游戏来说,游戏逻辑足够强大。 (英语) Zbl 1046.03017号 螺柱日志。 75,第2期,205-219(2003). 审核人:Benedikt Löwe(阿姆斯特丹) MSC公司:03B80号 03B45号 第68季度第60季度 03B70号 03日70 PDF格式BibTeX公司 XML格式引用 \textit{D.Berwanger},研究日志。75,第2号,205--219(2003;Zbl 1046.03017) 全文: 内政部
范德霍克,威比;迈克尔·伍尔德里奇 合作、知识和时间:交替时间认知逻辑及其应用。 (英语) Zbl 1034.03013号 螺柱日志。 75,编号1,125-157(2003).MSC公司:03B42号 03B44号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{W.van der Hoek}和\textit{M.Wooldridge},Stud.Log。75,编号1,125--157(2003;Zbl 1034.03013) 全文: 内政部
克里斯托夫·克里茨;碧姬·品特卡 连接驱动的归纳定理证明。 (英语) Zbl 0992.03017号 螺柱日志。 69,第2期,293-326(2001).MSC公司:03B35型 68吨15 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Kreitz}和\textit{B.Pientka},Stud.Log。69,第2293-326号(2001年;兹bl 0992.03017) 全文: 内政部
约翰·范·本特姆 可安全进行互模拟的程序构造。 (英语) Zbl 0958.68104号 螺柱日志。 60,第2期,311-330(1998).MSC公司:第68季度第60季度 03B70号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem},螺柱日志。60,第2号,311--330(1998;Zbl 0958.68104) 全文: 内政部
大卫·J·派姆。 关于(lambda\Pi)-演算证明理论的一点注记。 (英语) Zbl 0831.03030号 螺柱日志。 54,第2期,199-230(1995). 审核人:M.Yasuhara(普林斯顿) MSC公司:05年3月 第68季度第60季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.J.Pym},研究日志。54,第2号,199--230(1995;Zbl 0831.03030) 全文: 内政部
罗伯特·戈德布拉特 并行操作:具有独立模式的并行动态逻辑。 (英语) 兹比尔0784.03019 螺柱日志。 51,编号3-4,551-578(1992). 审核人:D.Gruska(布拉迪斯拉发) MSC公司:03B70号 2010年第68季度 第68季度第60季度 03B45号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Goldblatt},研究日志。51,编号3--4,551--578(1992;Zbl 0784.03019) 全文: 内政部
伊尔迪克·塞恩 在证明程序的部分正确性方面,有时“Some-othertime”比“Some-time”更好吗? (英语) Zbl 0684.68031号 螺柱日志。 47,第3号,279-301(1989).MSC公司:第68季度第60季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{I.Sain},Stud.Log。47,第3号,279--301(1989;Zbl 0684.68031) 全文: 内政部
拉斯洛(László) 弱二阶语义的稳定性。 (英语) Zbl 0684.68029号 螺柱日志。 47,第3期,193-202(1989).MSC公司:第68季度第60季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Csiraz},螺柱日志。47,第3号,193--202(1989;Zbl 0684.68029) 全文: 内政部
安妮塔·瓦西列夫斯卡 程序和逻辑。 (英语) Zbl 0584.03009号 螺柱日志。 44, 125-137 (1985). 审核人:J.-J.Ch.梅耶 MSC公司:03B35型 68问题65 第68季度第60季度 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{A.Wasilewska},Stud.Log。44125-137(1985;Zbl 0584.03009) 全文: 内政部
安妮塔·瓦西列夫斯卡 Suszko逻辑和一对一Gentzen类型形式化的DFC算法。 (英语) Zbl 0587.03006号 螺柱日志。 43, 395-404 (1984).MSC公司:03B25号 05年3月 第68季度第60季度 68瓦99 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Wasilewska},Stud.Log。43、395--404(1984年;Zbl 0587.03006) 全文: 内政部
彼得·帕平豪斯;马丁·威尔辛 非确定性三值逻辑:保序和保护真函数。 (英语) Zbl 0537.68021号 螺柱日志。 42, 1-22 (1983).MSC公司:第68季度第60季度 03B50 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{P.Päppinghaus}和\textit{M.Wirsing},Stud.Log。42、1--22(1983年;Zbl 0537.68021) 全文: 内政部
罗伯特·戈德布拉特 霍尔迭代规则的语义。 (英语) Zbl 0597.03013号 螺柱日志。 41, 141-158 (1982).MSC公司:03B45号 68问题65 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Goldblatt},研究日志。41、141--158(1982;Zbl 0597.03013) 全文: 内政部