自动机

Automath是一种由N.G.Bruijn在60年代末设计的语言,用于在计算机中表示数学证明。它是“类型理论”证明助手的直接祖先,目前比较著名的是Nuprl和Coq。


zbMATH中的参考文献,2标准条款)

显示401的结果1到20。
按年份排序(引用)

1 2 ... 19 20 21 下一个

  1. Abel,Andreas;Coquand,Thierry:带证明无关命题等式的非指示型理论规范化的失败(2020)
  2. 形式化编程的贡献
  3. Di Pierro,Alessandra:概率(\lambda)-微积分的类型理论(2020)
  4. Kosterec,Miloš:替代矛盾,它的解决和TIL中的Church-Rosser定理(2020)
  5. Polonsky,Andrew:作为高阶不动点生成器的不动点的不动点组合(2020)
  6. Quaresma,Pedro;Santos,Vanda;Graziani,Pierluigi;Baeta,Nuno:几何问题的分类(2020年)
  7. 希尔,布莱恩;波吉奥莱西,弗朗西斯卡:证明的直觉逻辑的分析演算(2019)
  8. 霍利迪,卫斯理H.:(\mathsfS5)与命题量词的代数语义学注记(2019)
  9. Libal,Tomer;Volpe,Marco:模态逻辑的一般证明框架(2019)
  10. Alex A.Alemi,Francois Chollet,Niklas Een,Geoffrey Irving,Christian Szegedy,Josef Urban:DeepMath-前提选择的深度序列模型(2018)阿尔十四
  11. 班切雷克,格尔泽戈尔茨;拜利林斯基,捷克;格拉博夫斯基,亚当;科尼奥维茨,阿图尔;马图斯泽夫斯基,罗曼;诺莫维奇,亚当;Pąk,卡罗尔:米扎尔互动证据开发数学图书馆的作用(2018)
  12. Bendkowski,Maciej;Grygiel,Katarzyna;Tarau,Paul:封闭简单类型(\lambda)的随机生成——术语:逻辑编程与Boltzmann采样器之间的协同作用(2018)
  13. 布朗基,弗里德里克:基于大小的高阶重写终止(2018)
  14. Coquand,Thierry:组合拓扑与构造数学(2018)
  15. Thomas Ehrhard:微分线性逻辑导论:证明网络、模型和反导数(2018)
  16. Fujita,Ken etsu:Church Rosser定理和证人定量分析(2018)
  17. Grayson,Daniel R.:数学家单价基金简介(2018)
  18. Klev,Ansten:The concept\textithorseis a concept(2018年)
  19. Kremer,Philip:拓扑语义学中二阶命题S4和H的完备性(2018)
  20. Paulson,Lawrence C.:计算逻辑:它的起源和应用(2018)

1 2 ... 19 20 21 下一个