阿西亚·马布比;纪尧姆·梅尔金德;托马斯·西布特·皮诺特 定积分的形式验证近似。 (英语) Zbl 1468.68301号 J.汽车。推理 62,第2号,281-300(2019).MSC公司:68伏15 65天30分 65G30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Mahboubi}等人,J.Autom。推理62,No.2,281--300(2019;Zbl 1468.68301) 全文: 内政部 哈尔
彼得·兰米奇;Sefidgar,S.礼萨 形式化网络流算法:Isabelle/HOL中的一种改进方法。 (英语) Zbl 1468.68328号 J.汽车。推理 62,第2期,261-280(2019).MSC公司:68V20型 05时21分 68瓦40 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{P.Lammich}和\textit{S.R.Sefidgar},J.Autom。推理62,No.2,261--280(2019;Zbl 1468.68328) 全文: 内政部 链接
昆查尔,Ondřej;安德烈·波佩斯库 通过高阶逻辑中的局部类型定义从类型到集。 (英语) 兹比尔1468.68295 J.汽车。推理 62,第2期,237-260(2019).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{O.Kunčar}和\textit{A.Popescu},J.奥托姆。推理62,No.2,237--260(2019;Zbl 1468.68295) 全文: 内政部 链接
费比安·伊姆勒;克里斯托夫·特劳特 常微分方程的流程:变分方程和Poincarémap的形式化。 (英语) Zbl 1468.68325号 J.汽车。推理 62,第2期,215-236(2019).MSC公司:68V20型 03B35型 34甲12 34A26型 37立方厘米 65升05 65页99 PDF格式BibTeX公司 XML格式引用 \textit{F.Immler}和\textit{C.Traut},J.Autom。推理62,No.2,215--236(2019;Zbl 1468.68325) 全文: 内政部
托马斯·格雷戈里;亚当·奇利帕拉 使用分布式模板算法的应用程序对循环依赖性进行自动化的形式验证。 (英语) 兹比尔1468.68130 J.汽车。推理 62,第2期,193-213(2019).MSC公司:第68季度第60季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{T.Grégoire}和\textit{A.Chlipala},J.奥托姆。推理62,No.2,193--213(2019;Zbl 1468.68130) 全文: 内政部 链接
陈兴伦;诺里斯,迈克尔 校对珠:用三角形限定最不常见的倍数。 (英语) 兹比尔1468.68284 J.汽车。推理 62,第2期,171-192(2019).MSC公司:68伏15 11A05号 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{H.-L.Chan}和textit{M.Norrish},J.Autom。推理62,第2期,171-192(2019年;兹bl 1468.68284) 全文: 内政部
贾斯敏·克里斯蒂安·布兰切特(编辑);斯蒂芬·默兹(编辑) 2016年ITP扩展论文精选:前言。 (英语) Zbl 1468.68010号 J.汽车。推理 62,第2期,169-170(2019).MSC公司:68-06 68伏15 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Blanchette}(编辑)和textit{S.Merz}(主编),J.Autom。推理62,No.2,169--170(2019;Zbl 1468.68010) 全文: 内政部