自动机

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


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

显示结果361至380的389。
按年份排序(引文
  1. 德布鲁因,N. G.:使用集成系统的语义系统(1990)
  2. 自动程序综合建设系统(1990)
  3. 后屋,罗兰;奇瑟姆,保罗;马尔科姆,格兰特;萨曼,埃里克:做你自己的类型理论(1989)
  4. 保尔森,Lawrence C.:一般定理证明器的基础(1989)
  5. Beeson,Michael J.:基于集合论的计算系统(1988)
  6. 蒂埃里,休伊特,G·雷德:结构演算(1988)
  7. 休伊特·G·拉德:构造演算中形式化的归纳原理(1988)
  8. 隆哥,朱塞佩:关于教会的功能和功能的正式理论。(λ)演算:与高阶递归理论、证明理论、范畴理论的联系(1988)
  9. 僧侣Leonard G.:使用局部上下文的推理规则(1988)
  10. 蒂埃里、休伊特、G·拉德:概念、数学、数学与信息学(1987)
  11. de Brujjn,N. G.:利用λ型λ演算的通用自动机(1987)
  12. 休伊特·G·拉德:构造演算中形式化的归纳原理(1987)
  13. Leaveand,丹尼尔:lambda表达式的类型和计算性质(1986)
  14. Berry,G·雷拉,COSSERAT,劳伦特:ESTEL同步编程语言及其数学语义(1985)
  15. 蒂埃里,休伊特,G·雷德:结构:机械化数学的高阶证明系统(1985)
  16. 蒂埃里、休伊特、G·拉德:建构数学、直觉型理论和高阶演绎的参考书目(1985)
  17. de Bruijn,N. G.:AutoStudio中构造性的形式化(1984)
  18. 迪勒,托洛斯特拉,A. S.:可实现性与直觉逻辑(1984)
  19. 诺德斯特罗姆,Bengt;史米斯,简:马丁洛夫类型理论中的程序命题和规范(1984)
  20. 警官,Robert L.:程序作为证据:概要(1983)