Nuprl公司

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


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

显示389个结果中的21到40个。
按年份排序(引用)
  1. 考德利尔,拉斐ël;Dubois,Catherine:Focusize and dedukti to rescue for proof interoperability(2017年)
  2. 达甘,皮埃尔·埃瓦里斯特:装饰的精髓(2017)
  3. ü嗯,丹尼斯;高蒂埃,蒂堡;卡利斯齐克,塞扎里;迈克尔,科哈斯;拉贝,弗洛里安:形式数学系统概念之间的对齐分类(2017)
  4. Stump,Aaron:从属lambda消去的演算(2017)
  5. 安圭利,卡罗;莫豪斯,爱德华;利卡塔,丹尼尔R。;Harper,Robert:同主题贴片理论(2016)
  6. 比斯平,本杰明;布罗德曼,保罗大卫;荣尼克,蒂姆;里克曼,克里斯蒂娜;赛德勒,亨宁;Stü伯尔,安克;威廉·魏德纳,阿诺;彼得斯,基尔斯廷;Nestmann,Uwe:FLP构造性证明的机械验证(2016)
  7. 比扎克,艾尔š; 格拉斯沃赫,汉斯·布格;克劳斯顿,拉纳德;ø盖尔伯格,拉斯穆斯E。;Birkedal,Lars:Guarded dependent type理论与共导类型(2016)
  8. 博士ă戈伊,塞扎拉;亨辛格,托马斯A。;Zuffrey,Damien:\textscPSync:容错分布式算法的部分同步语言(2016)
  9. čar,Ond公司řej公司;Popescu,Andrei:高阶逻辑中的局部类型定义从类型到集合(2016)
  10. Lepigre,Rodolphe:语义值限制的经典实现模型(2016)
  11. 马列查,格雷戈里;Bengtson,Jesper:《通过反射策略实现可扩展和高效自动化》(2016)
  12. 弗洛里安·拉贝:《逻辑的未来:基金会独立》(2016)
  13. Rahli,Vincent:锻炼Nuprl的开放性(2016)
  14. 舒伯特,亚历克西;乌尔兹钦,帕维ł; 瓦鲁基维茨ą正量化有多难(2016年)
  15. 佩雷拉·帕斯奎林,道格拉斯;凯泽维佐托,朱丽安娜;Kessler Piveta,Eduardo:面向普适应用的类型化上下文感知环境演算(2015)
  16. Ronan Saillard:lambda-Pi微积分模的排版:理论与实践(2015)不是zbMATH
  17. 阿南,阿披实;Rahli,Vincent:走向一个正式验证的证据助理(2014)
  18. 德拉图尔男孩,蒂埃里;Peltier,Nicolas:《自动推理中的类比:一项调查》(2014年)
  19. 警察,罗伯特;Bickford,Mark:一阶逻辑的直觉完备性(2014)
  20. 卡利斯齐克,塞扎里;拉贝,弗洛里安:迈向霍尔莱特的知识管理(2014)