努普尔

NUPRL系统是一个用于推理数学和编程的框架。多年来,其设计已大大改善,以满足大规模应用的需求。NUPRL LPE是最新版本,它以开放的、分布式的体系结构为中心,围绕灵活的知识库,支持独立的正式工具的合作。


ZBMaX中的参考文献(385篇)5篇标准文章

显示结果41至60的385。
按年份排序(引文
  1. 阿姆斯壮,阿拉斯代尔;福斯特,西蒙;施特鲁特,格奥尔:基于自动定理证明的依赖型程序设计(2012)
  2. 博韦,阿纳河;Dybjer,彼得;SICARD RAMIE Rez,安德烈斯:功能程序一阶理论中的交互式和自动推理相结合(2012)
  3. Codescu,米哈伊;HOOZAL,Fulya;Kohlhase,米迦勒;Mossakowski,to;Rabe,弗洛里安;Sojakova,Kistina:在异构工具集HETS中的逻辑框架(2012)
  4. 康斯特布尔,Robert L.(ED),席尔瓦,亚历山德拉(ED):逻辑和程序语义学。第六十岁生日之际献给Dexter Kozen的散文(2012)
  5. PrOOWSKE,E.:作为控制的类型概念导出一个弗洛依德Fuar逻辑,它是从Fufful--的非局部跳变出来的(2012)
  6. Kreitz,克里斯托夫:Nuprl作为范畴论自动证明的逻辑框架(2012)
  7. Krishnaswami,Neelakantan R.;Benton,Nick:增加系统F类型的方程(2012)
  8. 利卡塔,Daniel R.;哈珀,罗伯特:二维型理论的典范性(2012)
  9. 梅塞格,乔斯:重写逻辑的二十年(2012)
  10. MOCZYD OWSKI,WojCiCH:通过依赖类型统一集合和程序(2012)
  11. 亚当斯、罗宾、罗、昭晖:数学形式化的多元方法(2011)
  12. Bickford,马克;康斯特布尔,罗伯特;Halpn,约瑟夫;Petri,Sabina:基于事件结构的分布式系统的知识综合(2011)
  13. 戈登、Andrew D.、Pucella、里卡尔多:角色、书库、历史:霍尔的三倍(2011)
  14. Capretta,ViangZio:函数规划和类型理论中的余代数(2011)
  15. Horozal,Fulya;拉贝,弗洛里安:一种类型理论逻辑框架中的模型理论(2011)
  16. Kozen,Dexter;甘尼希:出版/引用:数学知识管理的证明理论方法(2011)
  17. 拉贝、弗洛里安、Kohlhase、米迦勒、Sacerdoti Coen、克劳迪奥:整合问题的基本观点(2011)
  18. Achten,彼得;van Eekelen,马尔科;Koopman,Pieter;MalasaN,Marco T.:函数编程趋势1999/2000与2007/2008(2010)
  19. Asperti,安德列;Sacerdoti Coen,克劳迪奥:交互式编译器可用性的一些思考(2010)
  20. 桥,Douglas S.:投影的连续性和Lipschitz常数(2010)