特威尔

TWELL是一种语言,用于指定、实现和证明演绎系统的属性,如编程语言和逻辑。使用TWELL的大型研究项目包括Talt型汇编语言,一个基础证明携带代码系统,和一个类型的安全证明标准ML。


ZBMaX中的参考文献(166篇)2篇标准文章

显示结果21至40的166。
按年份排序(引文
  1. 奥利维拉,布鲁诺C.D.S.;S.,Zhiyuan;AlPuIM,Joango:不相交交型(2016)
  2. 拉贝,弗洛里安:逻辑的未来:基础独立(2016)
  3. FelTy,Amy P.;MimigiLaNo,阿尔伯托;Pitka,汤屹云:下一个700个挑战问题,用高阶抽象语法表示推理。II:调查(2015)
  4. Horozal,Fulya;Rabe,弗洛里安:交换语言的形式逻辑定义(2015)
  5. Miller,Dale:证明检查与逻辑程序设计(2015)
  6. Pientka,汤屹云;Cave,安得烈:感应白鲸:编程证明(2015)
  7. Rabe,弗洛里安:通用文字(2015)
  8. Rabe,弗洛里安:Lax理论态射(2015)
  9. Ronan Saillard:LAMBDAπ演算模块中的打字:理论与实践(2015)不是ZB数学
  10. Stun,亚力山大;BrimmüL勒,克里斯托夫:高阶推理机没有最佳(β)-归一化策略(2015)
  11. 维希涅夫斯基,马克斯;斯蒂恩,亚力山大;Bunmüü勒,克里斯托夫:TexScCopopar——一个实现高阶推理机的通用平台(2015)
  12. 鲍尔,Andrej;Prtnar,MaTija:代数效应和处理程序的影响系统(2014)
  13. 康斯特布尔,罗伯特;比克福德,马克:一阶逻辑的直觉完备性(2014)
  14. Horozal,Fulya;Rabe,弗洛里安;Kohlhase,米迦勒:形式化数学的Flexary算子(2014)
  15. Park,Jonghyun;SEO,Jeongbong;Park,Sungwoo;李,Gyesik:机械化元理论无需输入上下文(2014)
  16. 西蒙斯,Robert J.:结构聚焦(2014)
  17. Guver,赫尔曼;Nede Peelt,RB:Bruijn对数学形式化的贡献(2013)
  18. Iancu,Mihnea;Kohlhase,米迦勒;拉贝,弗洛里安;城市,约瑟夫:OMDoc米扎尔数学图书馆:翻译和应用(2013)
  19. 莱诺,K. Rustan M.:用SMT实现定理证明(2013)
  20. Miller,Dale;Pimtell,伊莲:指定序列演算证明系统的形式框架(2013)