毛罗·法拉利;佛罗伦萨,卡米洛 直觉命题逻辑自然演绎中的面向目标的证明研究。 (英语) Zbl 1474.03067号 J.汽车。推理 62,第1期,127-167(2019).MSC公司:03B35型 03B20型 07年3月 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Ferrari}和\textit{C.佛罗伦萨},J.Autom。推理62,No.1,127--167(2019;Zbl 1474.03067) 全文: 内政部
斯蒂恩·德古乌;德波尔(Frank S。;理查德·布贝尔;雷纳·哈内尔;朱里安·罗特;多米尼克·施泰因霍费尔 验证OpenJDK的泛型集合排序方法。 (英语) Zbl 1468.68125号 J.汽车。推理 62,第1期,93-126(2019).MSC公司:60年第68季度 68页第10页 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.de Gouw}等人,J.Autom。推理62,No.1,93-126(2019;Zbl 1468.68125) 全文: 内政部
李文达;帕斯莫尔,格兰特·奥尼;劳伦斯·C·鲍尔森。 在Isabelle/HOL中使用不可信证书判定一元多项式问题。 (英语) Zbl 1468.68298号 J.汽车。推理 62,第1号,69-91(2019).MSC公司:68伏15 第12天第10天 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{W.Li}等人,J.Autom。推理62,No.1,69--91(2019;Zbl 1468.68298) 全文: 内政部 arXiv公司
皮埃尔·布特里;查理·格里斯;朱利安·纳布克斯;帕斯卡·施莱克 平行假设和连续性公理:使用Coq对直觉主义逻辑的机械化研究。 (英语) Zbl 1441.03011号 J.汽车。推理 62,第1号,第1-68页(2019年). 审核人:维克托·潘布奇(格伦代尔) MSC公司:03立方厘米30 03B35型 51个F05 2005年5月5日 03楼55 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{P.Boutry}等人,J.Autom。推理62,No.1,1-68(2019;Zbl 1441.03011) 全文: 内政部 哈尔