雷纳尔德·阿弗尔德;雅克·加里格;斋川隆文 线性纠错码的形式化库。 (英语) Zbl 1468.68314号 J.汽车。推理 64,第6期,1123-1164(2020年).MSC公司:68V20型 94B05型 94B15号机组 94B35码 PDF格式BibTeX公司 XML格式引用 \textit{R.Affeldt}等人,J.Autom。推理64,No.6,1123--1164(2020;Zbl 1468.68314) 全文: 内政部
克莱门斯·巴拉林 使用语言环境探索代数文本的结构。 (英语) Zbl 1468.68277号 J.汽车。推理 64,第6号,1093-1121(2020).MSC公司:68伏15 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Ballarin},J.Autom。推理64,No.6,1093--1121(2020;Zbl 1468.68277) 全文: 内政部
阿科斯·哈伊杜;佐尔坦·米斯克 基于CEGAR的模型检查的有效策略。 (英语) Zbl 1468.68131号 J.汽车。推理 64,第6期,1051-1091(2020).MSC公司:第68季度第60季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{阿尔·哈伊杜}和\textit{Z.Micskei},J.Autom。推理64,No.6,1051--1091(2020;Zbl 1468.68131) 全文: 内政部
纪尧姆·伯勒;纪尧姆·伯里;拉斐尔·考德利埃;大卫·德拉哈耶;皮埃尔·哈尔马格兰德;奥利维尔·赫曼特 用理论进行一阶自动推理:当演绎模理论符合实际时。 (英语) Zbl 1468.68282号 J.汽车。推理 64,第6号,1001-1050(2020).MSC公司:68伏15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{G.Burel}等人,J.Autom。推理64,No.6,1001--1050(2020;Zbl 1468.68282) 全文: 内政部 哈尔