自动机

自动机是一种语言,由N.G.Bruijn在60年代后期设计,以便在计算机中表现数学证明。它是“类型理论”证明助理的直接祖先,从中可知最新的证据是NUPRL和COQ。


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

显示结果1至20的389。
按年份排序(引文
  1. Quaresma,佩德罗;桑托斯,Vanda;Graziani,皮埃尔路易吉;Baeta,Nuno:几何问题分类(2020)
  2. Hill,布瑞恩;波吉奥莱西,弗朗西丝卡:证明直觉逻辑的解析微积分(2019)
  3. 霍利迪,Wesley H.:命题谓词(Mathsfs5)的代数语义注记(2019)
  4. Libal,Timer-Valpe,马珂:模态逻辑的通用证明框架(2019)
  5. Alex A. Alemi,Francois Chollet,Niklas Een,Geoffrey Irving,Christian Szegedy,Josef Urban:深度-前提选择的深层序列模型(2018)阿西夫
  6. Grzegorz的BeCeRek;Byi-Ski-SKE,CZES-AW;格拉鲍夫斯基,亚当;Kurni-OWICZ,阿图尔;Matuszewski,罗马;诺莫维奇,亚当;P k,Karol:MIZAR数学库在MIZAR(2018)中的交互证明发展的作用
  7. Bendkowski,Maciej;Grigiel,KATARZYNA;Tarau,保罗:随机生成的封闭简单类型(λ)-术语:逻辑编程与Boltzmann采样器之间的协同(2018)
  8. Blanqui,弗雷德里克:基于高阶重写的基于大小的终止(2018)
  9. COQUAND,蒂埃里:组合拓扑和构造数学(2018)
  10. Ehrhard,托马斯:微分线性逻辑导论:证明网、模型和反导数(2018)
  11. 藤田、肯-埃苏:教会罗瑟定理与目击者的定量分析(2018)
  12. 格雷森,Daniel R.:数学家的单价基础介绍(2018)
  13. 克雷夫,安斯滕:概念\文本是一个概念(2018)
  14. Kremer,菲利普:拓扑语义中二阶命题S4和H的完备性(2018)
  15. 保尔森,Lawrence C.:计算逻辑:起源与应用(2018)
  16. Pistone,Paolo:二次逻辑的多态性与顽固循环性:被害人的故事(2018)
  17. 罗斯伯格,安德烈亚斯:1ML——核心和模块联合(2018)
  18. 残肢,亚伦:从可实现性到依赖相交的归纳(2018)
  19. Arrighi,Pablo;D.IAZ Caro,Aljangro;Valern,Beoo.t:矢量(λ)-微积分(2017)
  20. 伯杰,Ulrich;Hou,领带:教会简单类型论的可实现性解读(2017)