法比奥·帕帕奇尼;Cláudia Nalon;乌尔里希·赫斯塔特;克莱尔·狄克逊 更正为:“局部是最好的:对模态逻辑的有效简化K(K)”. (英语) Zbl 1512.68426号 J.自动化。推理 66,第4号,1099(2022).MSC公司:68伏15 03B35型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{F.Papacchini}等人,J.Autom。推理66,No.4,1099(2022;Zbl 1512.68426) 全文: 内政部 OA许可证
Jose Divasón;雷内·蒂曼 更正为:“高阶逻辑中Smith范式的形式化”。 (英语) Zbl 1515.68342号 J.自动化。推理 66,第4号,1097(2022).MSC公司:68伏15 10层13号 15A21号机组 15B33型 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Divasón}和\textit{R.Thiemann},J.Autom。推理66,No.4,1097(2022;Zbl 1515.68342) 全文: 内政部 OA许可证
Jose Divasón;雷内·蒂曼 高阶逻辑中Smith范式的形式化。 (英语) Zbl 1511.68309号 J.自动化。推理 66,编号4,1065-1095(2022); 更正同上,66,第41097号(2022)。 审核人:菲利波·努乔(圣埃蒂安) MSC公司:68伏15 10层13号 15A21号机组 15B33型 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Divasón}和\textit{R.Thiemann},J.Autom。推理66,No.4,1065--1095(2022;Zbl 1511.68309) 全文: 内政部 OA许可证
拉莫斯,蒂亚戈·门登萨·费雷拉;阿丽亚娜·阿尔维斯·阿尔梅达;毛里西奥Ayala Rincón 图灵完备函数语言模型计算理论的形式化。 (英语) Zbl 1511.68338号 J.自动化。推理 66,第4期,1031-1063(2022).MSC公司:68V20型 03日第10天 03D20日 68甲18 04年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.M.F.Ramos}等人,J.Autom。推理66,No.4,1031--1063(2022;Zbl 1511.68338) 全文: 内政部
威尔默·里奇奥蒂;詹姆斯·切尼 使用空值对SQL进行形式化。 (英语) Zbl 1511.68339号 J.自动化。推理 66,编号4,989-1030(2022).MSC公司:68V20型 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{W.Ricciotti}和\textit{J.Cheney},J.Autom。推理66,No.4,989--1030(2022;Zbl 1511.68339) 全文: 内政部 arXiv公司 OA许可证
理查德·施莫滕;杰克·E·帕尔默(Jake E.Palmer)。;雅克·弗莱里奥特。 在Isabelle/HOL中,将Schutz的Minkowski时空公理形式化。 (英语) Zbl 1511.68331号 J.自动化。推理 66,第4号,953-988(2022); 更正同上,67,第1号,第9号文件,第1页(2023)。MSC公司:68伏15 68V20型 83A05号 PDF格式BibTeX公司 XML格式引用 \textit{R.Schmoetten}等人,J.Autom。推理66,No.4,953--988(2022;Zbl 1511.68331) 全文: 内政部 arXiv公司 OA许可证
马尔库·索尔德维拉;Ziliani,贝塔;布鲁诺·西尔维斯特 从规范到测试:Lua 5.2的语义工程。 (英语) Zbl 1512.68056号 J.自动化。推理 66,第4期,905-952(2022).MSC公司:68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Soldevila}等人,J.Autom。推理66,No.4,905--952(2022;Zbl 1512.68056) 全文: 内政部
马塞多,努诺;朱利安·布鲁内尔;戴维·谢穆伊尔;阿尔西诺·库尼亚 Pardinus:时间关系模型查找器。 (英语) Zbl 1512.68158号 J.自动化。推理 66,第4号,861-904(2022).MSC公司:60年第68季度 03B44号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{N.Macedo}等人,J.Autom。推理66,No.4,861--904(2022;Zbl 1512.68158) 全文: 内政部 哈尔
丹尼斯·德尚波 更快的线性统一算法。 (英语) Zbl 1512.68127号 J.自动化。推理 66,编号4,845-860(2022).MSC公司:2012年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.de Champaux},J.Autom(车手)。推理66,No.4,845--860(2022;Zbl 1512.68127) 全文: 内政部
乔舒亚·迈耶斯;戴维·斯皮瓦克。;瑞安·威斯内斯基 快速左堪萨斯扩展使用追逐。 (英语) Zbl 1515.18003号 J.自动化。推理 66,第4期,805-844(2022). 审核人:Hirokazu Nishimura(筑波) MSC公司:18A40型 第68页,共15页 03B70型 03C98号 03G30型 18-08 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Meyers}等人,J.Autom。推理66,No.4,805--844(2022;Zbl 1515.18003) 全文: 内政部 arXiv公司
大卫·J·皮尔斯。;马克·乌廷;林赛·格罗夫斯 使用Boogie验证Whiley程序。 (英语) Zbl 1512.68059号 J.自动化。推理 第4号第66页,第747-803页(2022年).MSC公司:68号30 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.J.Pearce}等人,J.Autom。推理66,No.4,747--803(2022;Zbl 1512.68059) 全文: 内政部 OA许可证
贾尼契奇,普雷德拉格;朱利安·纳布克斯 用相干逻辑证明作为约束求解的定理。 (英语) Zbl 1511.68316号 J.自动化。推理 66,第4号,689-746(2022).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{P.Janić}和\textit{J.Narboux},J.Autom。推理66,No.4,689--746(2022;Zbl 1511.68316) 全文: 内政部
Akihisa山田 术语重写终止的元组解释。 (英语) Zbl 1511.68135号 J.自动化。推理 66,第4期,667-688(2022年).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Yamada},J.奥托姆。推理66,No.4,667--688(2022;Zbl 1511.68135) 全文: 内政部
法比奥·帕帕奇尼;Cláudia Nalon;乌尔里希·赫斯塔特;克莱尔·狄克逊 局部是最好的:对模态逻辑的有效简化K(K). (英语) Zbl 1512.68425号 J.自动化。推理 66,第4期,639-666(2022); 更正同上,第66号,第4,1099(2022)。MSC公司:68伏15 03B35型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{F.Papacchini}等人,J.Autom。推理66,No.4,639--666(2022;Zbl 1512.68425) 全文: 内政部 OA许可证
安妮·巴南;Sander R.Dahmen。;阿什夫尼·纳拉亚南;Nuccio Mortarino Majno di Capriglio,菲利波·A.E。 Dedekind域和全局字段类组的形式化。 (英语) Zbl 1524.68428号 J.自动化。推理 66,编号4,611-637(2022).MSC公司:68V20型 11兰特29 13个C20 13层05 PDF格式BibTeX公司 XML格式引用 \textit{A.Baanen}等人,J.Autom。推理66,No.4,611--637(2022;Zbl 1524.68428) 全文: 内政部 arXiv公司 OA许可证
安德烈亚斯·洛赫比勒 可数网络最大流最小割定理的机械化证明及其在概率论中的应用。 (英语) Zbl 1512.05165号 J.自动化。推理 66,第4期,585-610(2022年).MSC公司:05时21分 05C63号 60E05型 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Lochbihler},J.Autom。推理66,第4期,5855-610(2022;Zbl 1512.05165) 全文: 内政部
索菲·托雷特;克里斯托夫·韦登巴赫 Larry Wos的遗作:摘自一篇未发表的专栏文章。 (英语) Zbl 1512.68429号 J.自动化。推理 66,第4号,575-584(2022).MSC公司:68伏15 68-03 PDF格式BibTeX公司 XML格式引用 \textit{S.Touret}和\textit{C.Weidenbach},J.Autom。推理66,第4期,575——584(2022;兹bl 1512.68429) 全文: 内政部 OA许可证
罗伯特·韦洛夫 遇到了Wos的挑战。 (英语) Zbl 1512.68430号 J.自动化。推理 66,第4号,565-574(2022).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{R.Veroff},J.Autom。推理66,No.4,565--574(2022;Zbl 1512.68430) 全文: 内政部
佩塔·武克米罗维奇;亚历山大·本特坎普;贾斯敏·布兰切特;西蒙·克鲁内斯;Nummelin,维萨卡;索菲·托雷特 使高阶叠加起作用。 (英语) Zbl 1512.68432号 J.自动化。推理 66,第4期,541-564(2022年).MSC公司:68伏15 03年11月16日 PDF格式BibTeX公司 XML格式引用 \textit{P.Vukmirović}等人,J.Autom。推理66,No.4,541--564(2022;Zbl 1512.68432) 全文: 内政部 哈尔
乌韦·沃尔德曼;索菲·托雷特;西蒙·罗比拉德;贾斯敏·布兰切特 饱和定理证明的综合框架。 (英语) Zbl 1512.68434号 J.自动化。推理 66,第4期,499-539(2022).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{U.Waldmann}等人,J.Autom。推理66,No.4,499--539(2022;Zbl 1512.68434) 全文: 内政部 OA许可证
玛丽亚·保拉(Maria Paola Bonacina) 支持集、解调、副调制:历史观点。 (英语) Zbl 1511.68305号 J.自动化。推理 66,第4期,463-497(2022).MSC公司:68伏15 68-03 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina},J.Autom。推理66,No.4,463--497(2022;Zbl 1511.68305) 全文: 内政部 OA许可证
迈克尔·比森;玛丽亚·保拉(Maria Paola Bonacina);迈克尔·基扬;杰夫·萨特克利夫 拉里·沃斯:自动化推理的愿景。 (英语) Zbl 1511.68005号 J.自动化。推理 66,第4期,439-461(2022).MSC公司:68-03 01A70号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Beeson}等人,J.Autom。推理66,No.4,439--461(2022;Zbl 1511.68005) 全文: 内政部
玛丽亚·保拉(Maria Paola Bonacina)(编辑) 六十年的自动推理:纪念拉里·沃斯的论文。前言。 (英语) Zbl 1511.68010号 J.自动化。推理 66,第4期,437-438(2022年).MSC公司:68-06 01A70号 68-03 68伏15 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}(编辑),J.Autom。推理66,No.4,437--438(2022;Zbl 1511.68010) 全文: 内政部