Nuprl公司

Nuprl系统是一个关于数学和程序设计的推理框架。多年来,它的设计得到了很大的改进,以满足大规模应用的需要。nuprlpe是最新版本,它以一个开放的、分布式的体系结构为特点,以灵活的知识库为中心,并支持独立正式工具的协作。


zbMATH中的参考文献(参考文献389篇文章,5标准条款)

显示结果361到380,共389个。
按年份排序(引用)
  1. 保尔森,劳伦斯C.:简单类型理论的表述(为伊莎贝尔)(1990)
  2. 范宁,弗兰克:通过证明转换进行程序开发(1990)
  3. Schwartzbach,MichaelI.:层次命令类型中的无限值(1990)
  4. 塔克,J。五、 。;怀纳,S。S、 。;扎克,J。一、 :抽象数据类型上可证明的可计算函数(1990)
  5. 后台,罗兰;基肖姆,保罗;马尔科姆,格兰特;萨曼,埃里克:自己动手类型理论(1989)
  6. Basin,David A.:Nuprl的建筑理论(1989)
  7. 邦迪,艾伦;范哈梅伦,弗兰克;赫斯基,简;斯梅尔,艾伦;Stevens,Andrew:递归分析的理性重构与扩展(1989)
  8. Howe,Douglas J.:懒惰计算系统中的等式(1989)
  9. 彼得·马登:建构性存在证明的专业化与转换(1989)
  10. 程序和校对:Hayahaï程序提取的ve方法(1989)
  11. Paulson,Lawrence C.:泛型定理证明者的基础(1989)
  12. Pfenning,Frank:Elf:逻辑定义和验证元编程语言(1989)
  13. Smith,Jan M.:命题函数与类型族(1989)
  14. 迈克尔J.比森:迈向基于集合论的计算系统(1988)
  15. 邦迪,艾伦:使用明确的计划来指导归纳证明(1988)
  16. 克里夫兰,兰斯;帕南加登,普拉卡什:类型理论与并发(1988)
  17. 费尔蒂,艾米;Miller,Dale:用高阶逻辑编程语言指定定理证明器(1988)
  18. Horn,Christian:与NurPRL的互动程序和证据开发(1988)
  19. Howe,Douglas J.:Nuprl中的计算元理论(1988)
  20. Jä格哈德:类型和名称基础理论中的归纳法(1988)