ZBMaCT中的参考文献(89篇文章中引用)

显示结果1至20的89。
按年份排序(引文
  1. Karol,伊莎贝尔的对象逻辑(2019)
  2. 波佩斯库,安德列:伊莎贝尔/HOL的一致基础(2019)
  3. Maletzky,亚力山大:伊莎贝尔/HOL(2019)中Grübn-基的Dub E-度界的形式化
  4. Marmsoler,迭戈;Gidiy,Habtom Kashay:FACTUM中建筑设计模式的交互验证(2019)
  5. 托拜厄斯,布林科普,豪克:摊销复杂性验证(2019)
  6. 保尔森,Lawrence C.;尼普科夫,托拜厄斯;文策尔,Makarius:从LCF到伊莎贝尔/HOL(2019)
  7. 文策尔,Makulu:与伊莎贝尔/PIDE中的形式数学文献的交互(2019)
  8. Mendes、亚历山德拉、费雷拉、乔安福:《验证手写计算证明(短论文)》(2018)
  9. M.N.NER,弗洛里安;PARSET,朱利安;SCHO-PF,乔纳斯;Stnngell,Chiston:一个形式化的齐次线性丢番图方程求解器(2018)
  10. 米勒,丹尼斯;拉贝,弗洛里安;Kohlhase,米迦勒:作为类型的理论(2018)
  11. Parsert、朱利安、卡利斯克、塞萨里:走向博弈论的形式基础(2018)
  12. Schlichtkrull,安德斯;Blanchette,Jasmin Christian;特雷特尔,Dmitriy;瓦尔德曼,UWE:形式化巴赫迈尔和Ganzinger的有序分辨证明器(2018)
  13. Avigad,杰瑞米;H·LZL,Johannes;Serafin,卢克:中心极限定理的一个形式验证的证明(2017)
  14. 巴特菲尔德,安得烈:UTCPCAC——一个UTP谓词的计算器(2017)
  15. 波佩斯库,安德列:理解伊莎贝尔/霍尔的一致性(2017)
  16. Maletzky,亚力山大;WordSigige,沃尔夫冈:Vikry拍卖的形式化:伊莎贝尔和定理2017中两种方法的比较(上)
  17. Arthan,Rob:关于HOL(2016)中常数和类型的定义
  18. 本特森,杰斯珀;帕罗,约阿希姆;Weber,TJAGOK:伊莎贝尔的PSI结石(2016)
  19. Blanchette,Jasmin Christian;Fleury,马蒂亚斯;魏登巴赫,克里斯托夫:一个经过验证的SAT求解器框架,具有学习、遗忘、重启和增量(2016)
  20. ESPARZA,哈维尔;K.E.NSK,J.;Sickert,萨洛蒙:从LTL到确定性自动机。无安全成分法(2016)