自动机

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


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

显示结果21至40的389。
按年份排序(引文
  1. COQUAND,蒂埃里:类型理论与数学形式化(2017)
  2. Endrullis,J.R.G;Hendriks,迪米特里;KLOP,Jan Willem;Polonsky,安得烈:时钟λ演算(2017)
  3. Honsell,Furio;利库里,路易吉;Maksimovic,PATAR;SigaNETTO,伊凡:(\ MathsFLFf\\MathCalp):利用MUNADS建模外部证据、侧条件和证明无关性的逻辑框架(2017)
  4. Kosterec,米洛:类型数(2017)
  5. Severi,保拉;de Vice,Fer-Join:无限ηB HM树的无限Limbda演算(2017)
  6. Avron,阿尔农河;科恩,铁:在定义框架中科学地应用数学(2016)
  7. Blanqui,弗雷德里克:基于吉拉德还原性概念的重写关系终止(λ)——(2016)
  8. 罗,昭晖:自然语言语义学的证明助手(2016)
  9. 德帕瓦,巴莱里亚;Ritter,艾克:纤维模态模式理论(2016)
  10. Kamareddine,Fairouz;塞尔丁,Jonathan P.;威尔斯,J. B.:桥接咖喱和教堂的打字风格(2016)
  11. 杨,Yanpeng;Bi,Xuan;奥利维拉,布鲁诺C.D.S.:ISO类型的统一语法(2016)
  12. 阿尔维斯,S,Broda,S.:关于类型居住的简短说明:公式树vs游戏语义学(2015)
  13. Blanqui,弗雷德里克;Jouannaud,Jean Pierre;Rubio,艾伯特:可计算路径排序(2015)
  14. Frd贷款人,丹尼尔;帕加诺,米格尔:具有明确替换的纯类型系统(2015)
  15. Tarau,保罗:用压缩de Bruijn指数对λ项排序/不排名(2015)
  16. van der Hoeven、Joris:语义数学编辑(2015)
  17. 康斯特布尔,罗伯特;比克福德,马克:一阶逻辑的直觉完备性(2014)
  18. Endrullis,乔尔格;Hendriks,迪米特里;KLOP,Jan Willem;Polonsky,安得烈:用钟控B HM树判别λ项(2014)
  19. 欣德利,J. Roger:书评:H. Barendregt(ED)等,带类型的λ演算(2014)
  20. Lasson,贾景晖:弱(ω)-群胚律的正则性使用参数理论(2014)