来自阿斯塔·哈尔克 认识逻辑的形式化的健全性和完整性。 (英语) Zbl 07547730号 Silva,Alexandra(编辑)等人,《逻辑、语言、信息和计算》。第27届国际研讨会,WoLLIC 2021,虚拟活动,2021年10月5日至8日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13038, 1-15 (2021).MSC公司:03B70号 PDF格式BibTeX公司 XML格式引用 \发短信给Lect。注释计算。科学。13038,1-15(2021;Zbl 07547730) 全文: 内政部 链接
来自阿斯塔·哈尔克;帕特里克·布莱克本;约根·维拉德森 形式化混合逻辑的塞利格曼式表格系统(短文)。 (英语) Zbl 07614529号 Peltier,Nicolas(编辑)等人,《自动推理》。第十届国际联合会议,2020年7月1日至4日,法国巴黎,IJCAR 2020。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12166474-481(2020年)。MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.H.From}等人,Lect。注释计算。科学。12166474--481(2020;Zbl 07614529) 全文: 内政部
安德斯·施利奇克鲁尔;贾斯敏·布兰切特;德米特里·特拉泰尔;乌韦·沃尔德曼 正式化巴赫迈尔和甘津格的有序分辨率证明文件。 (英语) Zbl 1468.68307号 J.自动化。推理 64,第7期,1169-1195(2020).MSC公司:68伏15 03B35型 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Schlichtkrull}等人,J.Autom。推理64,No.7,1169--1195(2020;Zbl 1468.68307) 全文: 内政部 链接
洛伦佐·盖里;安德烈·波佩斯库 带有绑定的形式化通用语法理论:扩展版本。 (英语) Zbl 1468.68073号 J.自动化。推理 64,第4号,641-675(2020).MSC公司:68号30 60年第68季度 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Gheri}和\textit{A.Popescu},J.奥托姆。推理64,No.4,641--675(2020;Zbl 1468.68073) 全文: 内政部
亚历山大·伯奇·延森;约翰·布伦特·拉森;安德斯·施利奇克鲁尔;约根·维拉德森 在Isabelle/HOL中编程和验证声明式一阶证明程序。 (英语) Zbl 1462.68214号 AI社区。 31,第3期,281-299(2018).MSC公司:68伏15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{A.B.Jensen}等人,AI Commun。31,第3号,281--299(2018;Zbl 1462.68214) 全文: 内政部
安德斯·施利奇克鲁尔 一阶逻辑解析演算的形式化。 (英语) Zbl 1451.03019号 J.自动化。推理 61,编号1-4455-484(2018).MSC公司:03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Schlichtkrull},J.Autom(汽车公司)。推理61,No.1--4,455--484(2018;Zbl 1451.03019) 全文: 内政部 链接
贾斯敏·克里斯蒂安·布兰切特;马蒂亚斯·弗勒里;彼得·兰米奇;克里斯托夫·韦登巴赫 一个经过验证的SAT求解器框架,具有学习、遗忘、重启和增量功能。 (英语) Zbl 1448.68457号 J.自动化。推理 61,编号1-4,333-365(2018).MSC公司:68伏15 68T05型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Blanchette}等人,J.Autom。推理61,No.1--4,333--365(2018;Zbl 1448.68457) 全文: 内政部 链接
洛伦佐·盖里;安德烈·波佩斯库 带有绑定的形式化通用语法理论。 (英语) Zbl 1468.68072号 Ayala-Rincón,Mauricio(编辑)等人,交互式定理证明。2017年9月26日至29日在巴西巴西利亚举行的2017年ITP第八届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10499, 241-261 (2017).MSC公司:68号30 60年第68季度 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Gheri}和\textit{A.Popescu},莱克特。注释计算。科学。10499,241--261(2017;Zbl 1468.68072) 全文: 内政部 arXiv公司 链接