zbMATH中的参考文献（参考文献981篇文章,2标准条款)

1. 本特坎普，亚历山大；布兰切特，贾斯敏；克鲁恩斯，西蒙；Waldmann，Uwe:无lambda高阶逻辑的叠加（2021）
2. 巴特勒，D。；洛克比勒，A。；阿斯皮纳尔，D。；Gascón，A.：形式化（\varSigma）-使用密码的协议和承诺方案（2021）
3. 霍鲁布，什特ěpán；Starosta，shtěpán:二进制交集形式化（2021）
4. 胡，Zhé；萨南，大卫；蒂乌，阿尔文；刘、杨；和，高泉；董金松：SPARC指令集体系结构和TSO内存模型的Isabelle/HOL形式化（2021）
5. 阿吉拉基：数学形式化——在实践中；一位数学家与伊莎贝尔/霍尔的第一次接触以及开始的原因和方法（2021年）
6. 马布比，阿西娅；托马斯·西布特·皮诺特：关于（\zeta（3））（2021）非理性的正式证明
7. Maletzky，Alexander:基于签名的Gröbner基算法的通用和可执行形式化（2021）
8. Reed Oei，Dun Ma，Christian Schulz，Philipp Hieronymi:Pecan:使用Büchi自动机的自动序列定理证明器（2021）阿尔十四
9. 拉苏，弗拉德；大卫.诺瓦克：（Co）可达逻辑合成证明的归纳证明系统（2021）
10. 西米奇，丹尼耶拉；马里奇，菲利普；Boutry，Pierre:双曲几何庞加莱圆盘模型的形式化（2021）
11. Abrahamsson，Oskar:高阶逻辑的验证检查器（2020）
12. 阿布拉罕松，奥斯卡；哦，儿子；卡纳巴，赫鲁特维克；库马尔、拉马纳；梅林，马格努斯O。；诺里斯，迈克尔；Tan，Yong Kiam:从一元酚功能合成CakeML的验证性合成（2020年）
13. 艾伯特，艾薇拉；贝齐尔吉安尼斯，尼古拉斯；德波尔，弗兰克；Martin Martin，Enrique:从演员合作调度到Haskell（2020）的正式资源消耗保护翻译
14. 巴拉林，克莱门斯：用语言环境探索代数文本的结构（2020）
15. 巴博萨，哈尼尔；布兰切特，贾斯敏·克里斯蒂安；弗勒里，马蒂亚斯；方丹，帕斯卡：公式处理的可伸缩细粒度证明（2020）
16. 盆地，大卫A。；洛赫比勒，安德烈亚斯；塞菲加，S。Reza:Cryptol:高阶逻辑中基于博弈的证明（2020）
17. 本斯米勒，克里斯托夫；大卫富恩马约尔：哥德尔本体论论证变体中正属性、超滤和模态崩溃的计算机支持分析（2020）
18. 本斯米勒，克里斯托夫；家长，泽维尔；van der Torre，Leendert:为伦理和法律推理设计规范性理论：\textslogickyframework，methodology，and tool support（2020年）
19. 本斯米勒，克里斯托夫；Scott，Dana S.：自动化HOL中的自由逻辑，范畴理论的实验应用（2020）
20. 伯格默尔，鲁道夫；福泽、仁石；古特曼，沃尔特；Höfner，Peter:路径的关系特征（2020）