亚历山大·莱奇;阿内拉·洛里奇 提取扩张树。 (英语) Zbl 1468.68296号 J.汽车。推理 62,第3号,393-430(2019).MSC公司:68伏15 03B35型 05年3月 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Leitsch}和\textit{A.Lolic},J.Autom。推理62,No.3,393--430(2019;Zbl 1468.68296) 全文: DOI程序
托比亚斯·尼普科;布林科普,豪克 已验证摊销复杂性。 (英语) Zbl 1465.68060号 J.汽车。推理 62,第3期,367-391(2019).MSC公司:68磅05分 68甲18 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Nipkow}和\textit{H.Brinkop},J.Autom。推理62,No.3,367--391(2019;Zbl 1465.68060) 全文: DOI程序
亚瑟·查古埃罗;弗朗索瓦·波蒂埃 使用时间信用验证分离逻辑中union-find实现的正确性和已摊销的复杂性。 (英语) Zbl 1468.68120号 J.汽车。推理 62,第3号,331-365(2019).MSC公司:60年第68季度 03B70号 68甲18 68磅05分 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Charguéraud}和\textit{F.Pottier},J.Autom。推理62,No.3,331--365(2019;Zbl 1468.68120) 全文: DOI程序 哈尔
菲利普·马里奇 至多6点凸多边形的Erdős-Szekeres猜想的快速形式证明。 (英语) Zbl 1468.68302号 J.汽车。推理 62,第3号,301-329(2019).MSC公司:68伏15 52立方厘米 68单位05 68伏05 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{F.Marić},J.Autom。推理62,No.3,301-329(2019;Zbl 1468.68302) 全文: DOI程序