PRNUL公司

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


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

显示389个结果中的41到60个。
按年份排序(引用)
  1. Seldin,Jonathan P.:来自Barendregt的定理证明者立方体的类型理论(2014)
  2. 布莱兹,桑德琳(编辑);保林·莫林,克里斯汀(编辑);戴维皮哈迪(编):交互定理证明。第四届国际会议,2013年ITP,法国雷恩,2013年7月22日至26日。诉讼(2013年)
  3. 拉利,文森特;比克福德,马克;Anand,Abhishek:Nuprl中使用计算等价和部分类型的形式程序优化(2013)
  4. 阿姆斯特朗,阿拉斯代尔;福斯特,西蒙;Struth,Georg:基于自动定理证明的独立类型编程(2012)
  5. 阿娜,波夫;戴比杰,彼得;西卡拉姆í雷兹,安德烈és: 《函数程序一阶理论中的交互式和自动推理相结合》(2012)
  6. 代码库,米海;霍洛扎尔,富尔雅;科哈塞,迈克尔;莫萨科夫斯基,蒂尔;拉贝,弗洛里安;Sojakova,Kristina:面向异构工具集Hets中的逻辑框架(2012)
  7. 警察,罗伯特L(编辑);Silva,Alexandra(编辑):逻辑与程序语义学。在德克斯特·科赞60岁生日(2012年)之际献给他的文章
  8. 克罗拉德,T。;波洛诺夫斯基:从公式推导非局部跳跃的Floyd-Hoare逻辑æ-as类型控制概念(2012)
  9. Kreitz,Christoph:Nuprl作为范畴理论中自动证明的逻辑框架(2012)
  10. 克里希纳斯瓦米,尼拉坎坦R。;本顿,尼克:添加方程到系统F类型(2012年)
  11. 利卡塔,丹尼尔R。;Harper,Robert:二维类型理论的典范性(2012)
  12. 梅斯盖尔,乔斯é: 重写逻辑二十年(2012)
  13. 莫奇德łIECowski和相关程序集(2012)
  14. 亚当斯,罗宾;罗兆辉:数学形式化的多元方法(2011)
  15. 比克福德,马克;警察,罗伯特;哈珀,约瑟夫;Petride,Sabina:使用事件结构的分布式系统的基于知识的综合(2011)
  16. 博格斯特öm、 约翰尼斯;戈登,安德鲁D。;普塞拉,里卡多:角色,堆栈,历史:三重霍尔(2011)
  17. Capretta,Venanzio:函数规划和类型理论中的Coalgebras(2011)
  18. 霍洛扎尔,富尔雅;拉贝,弗洛里安:在类型理论逻辑框架中代表模型理论(2011)
  19. 德克斯特,科赞;Ramanarayanan,Ganesh:出版物/引文:数学知识管理的证明理论方法(2011)
  20. 拉贝,弗洛里安;科哈塞,迈克尔;Sacerdoti Coen,Claudio:关于集成问题的基本观点(2011)