Nuprl公司

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


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

显示结果341到360,共389个。
按年份排序(引用)
  1. 比多伊特,米歇尔(编辑);克洛夫斯基,汉斯-Jörg(编辑);莱斯坎,皮埃尔(编辑);Sannella,Donald(ed.):代数系统规范与开发。综述与注释书目(1991)
  2. 邦迪,艾伦;范哈梅伦,弗兰克;赫斯基,简;斯迈尔,艾伦:实验与证明计划的诱导(1991年)
  3. 买吧,Ugo;Moll,Robert:活性分析和并发程序的自动生成(1991)
  4. 警察,罗伯特;Murthy,Chet:在经典证明中发现计算内容(1991)
  5. 朱西格里亚,福斯托;Traverso,Paolo:《声明性元理论与实现代码之间的反思性推理》(1991)
  6. 哈珀,罗伯特;波拉克,罗伯特:类型检查与宇宙(1991)
  7. 赫尔明克,利恩;安,仁é: 类型论中的目标导向证明结构(1991)
  8. 希尔肯,B。;里德黑德,D。E、 :程序开发索引类别(1991年)
  9. 考夫曼,马特:自由变量存在下的推广:一个算法的机械检验正确性证明(1991)
  10. Enrique V.:(\lambda\sigma):基于类型化(\lambda)-微积分的模拟语言(1991)
  11. 罗兆辉:高阶微积分与理论抽象(1991)
  12. 北卡罗来纳州内佩霍达。N、 :构造逻辑与计算机程序设计之间的桥梁(1991)
  13. Takayama,Yukhide:从构造性自然演绎证明中提取无冗余程序(1991)
  14. 班布里奇,E。S、 。;弗里德,P。J、 。;塞德罗夫,A。;斯科特,P。J、 :函数多态性(1990)
  15. 包含结合交换函数和交换约束算子的项的等式是同构完备的(1990)
  16. 类型理论中的广义重写(1990)
  17. 康斯特布尔,R。五十、 。;豪,D。J、 :实现元数学作为自动定理证明的方法(1990)
  18. 《建构数学与计算机辅助推理系统》(1990)
  19. 琼斯,克里夫B(编辑);肖,罗杰C。F(系统软件开发案例研究(1990)
  20. 奥迪弗雷迪,皮尔乔乔(编):逻辑与计算机科学(1990)