马塞洛·芬格;桑德罗·普雷托 可能部分正确:Łukasiewicz无穷值概率逻辑和相关主题的可满足性。 (英语) Zbl 1468.68200号 J.自动化。推理 64,第7期,1269-1286(2020).MSC公司:68T20型 03B48号 03B50号 03B52号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Finger}和\textit{S.Preto},J.Autom。推理64,No.7,1269--1286(2020;Zbl 1468.68200) 全文: DOI程序
达斯,阿努帕姆 从QBF到购物中心然后通过调焦返回。 (英语) Zbl 1468.68104号 J.自动化。推理 64,第7期,1221-1245(2020).MSC公司:2015年第68季度 20层03 03楼52 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Das},J.奥托姆。推理64,No.7,1221--1245(2020;Zbl 1468.68104) 全文: DOI程序 OA许可证
加迪·特利兹;詹姆斯·布罗瑟斯顿 使用循环证明自动验证指针程序的时间属性。 (英语) Zbl 1468.68137号 J.自动化。推理 64,第3期,555-578(2020年).MSC公司:60年第68季度 03B44号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{G.Tellez}和\textit{J.Brotherston},J.Autom。推理64,No.3,555--578(2020;Zbl 1468.68137) 全文: DOI程序 OA许可证
萨尔瓦多卢卡斯 使用基础良好的关系证明操作终止。 (英语) Zbl 1468.03034号 J.自动化。推理 64,第2期,167-195(2020).MSC公司:03B70型 07年3月 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}、J.Autom。推理64,No.2,167--195(2020;Zbl 1468.03034) 全文: DOI程序 链接