zbMATH参考文献(参考 89篇文章 参考)

显示第1到第20个结果,共89个。
按年份排序(引用)
  1. Kaliszyk,Cezary;Pąk,Karol:Mizar作为Isabelle对象逻辑的语义(2019)
  2. Kunčar,Ondřej;Popescu,Andrei:Isabelle/HOL的一致基础(2019年)
  3. Alexander Maletzky:Isabelle/HOL的Gröbner基的Dubé度界的形式化(2019)
  4. Marmsoler,Diego;Gidey,Habtom Kashay:FACTum建筑设计模式的交互验证(2019)
  5. Nipkow,Tobias;Brinkop,Hauke:摊销复杂度验证(2019年)
  6. Paulson,Lawrence C.;Nipkow,Tobias;Wenzel,Makarius:从LCF到Isabelle/HOL(2019年)
  7. Wenzel,Makarius:与Isabelle/PIDE的正式数学文档的交互作用(2019)
  8. Mendes,Alexandra;Ferreira,JoãF.:走向验证手写计算证明(短文)(2018)
  9. Meßner,Florian;Parsert,Julian;Schöpf,Jonas;Sternagel,Christian:齐次线性丢番图方程的正式验证解算器(2018)
  10. 2018年,迈克尔•拉贝(Michael Muller,types);科拉贝(Michael Muller Theory);拉比斯(Michael Kohu Theory)
  11. Parsert,Julian;Kaliszyk,Cezary:走向博弈论的正式基础(2018)
  12. Schlichtkrull,Anders;Blanchette,Jasmin Christian;Traytel,Dmitriy;Waldmann,Uwe:形式化Bachmair和Ganzinger的有序解决方案证明者(2018)
  13. Avigad,Jeremy;Hölzl,Johannes;Serafin,Luke:中心极限定理的正式验证证明(2017)
  14. 巴特菲尔德,安德鲁:Utpcalc——UTP谓词的计算器(2017)
  15. Kunčar,Ondřej;Popescu,Andrei:理解Isabelle/HOL的一致性(2017)
  16. Alexander Maletzky;Wolfgang Windsteiger:Vickrey拍卖的形式化:Isabelle和Theorema中两种方法的比较(2017)
  17. Arthan,Rob:关于HOL中常量和类型的定义(2016)
  18. Jesper Bengtson;Parrow,Joachim;Weber,Tjark:Isabelle的Psi calculi(2016年)
  19. Blanchette,Jasmin Christian;Fleury,Mathias;Weidenbach,Christoph:A verified SAT solver framework with learn,forget,restart,and incrementality(2016年)
  20. 埃斯帕扎,哈维尔;Křetínský,Jan;Sickert,所罗门:从LTL到确定性自动机。无红花成分法(2016)