努普尔

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


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

显示结果1至20的382。
按年份排序(引文
  1. 凯利森、艾莉尔、比克福德、马克、康斯特布尔、罗伯特:在类型论中实现欧几里得直线和罗盘结构(2019)
  2. Kun-ar,On.EJ;波佩斯库,安德列:从高阶逻辑中的局部类型定义到类型集(2019)
  3. Miller、Dale:机械化元理论再探(2019)
  4. Rahli,Vincent;比克福德,马克;科恩,LRIN;警官,Robert L.:条形归纳法与建构型理论兼容(2019)
  5. Angiuli,Carlo;Harper,罗伯特:高维意义解释(2018)
  6. Avelar da Silva,安德烈亚B;利马,Thaynara Arielly;加尔迪诺,安德烈路易斯:PVS中的环理论的形成(2018)
  7. Avron,阿尔农河;科恩,LRIN:集合最小计算理论中的可应用数学(2018)
  8. Carette,贾可;农民,William M.;拉斯科夫斯基,帕特里克:霍尔光QE(2018)
  9. 农民、William M.:教会理论的引用与评价(2018)
  10. Harper、罗伯特:开放世界中的例外追踪(2018)
  11. Rahli,Vincent;比克福德,马克:用命名异常验证布劳沃的连续性原理(2018)
  12. Rahli,文森特;科恩,LRIN;BikFrand,马克:由单调库支持的验证定理证明器后端(2018)
  13. Shankar、Natarajan:模型检验与演绎的结合(2018)
  14. 伯杰,Ulrich;Hou,领带:教会简单类型论的可实现性解读(2017)
  15. 巴斯,Samuel R.(ED);Iemhoff,Rosalie(ED);科伦巴赫,Ulrich(ED);Rathjen,米迦勒(ED):数学逻辑学:证明理论,建构数学。11月5日举行的研讨会摘要(11, 2017)(2017)
  16. Caulrier-RAPHA;杜布瓦,凯瑟琳:聚焦和DeDukTI用于证明互用性的拯救(2017)
  17. 达根,Pierre Evariste:装饰品的本质(2017)
  18. M·勒勒,丹尼斯;高蒂尔,蒂鲍特;卡利斯克,Cezary;Kohlhase,米迦勒;拉贝,弗洛里安:形式数学系统概念之间的排列分类(2017)
  19. 残根,亚伦:依赖λ消除的演算(2017)
  20. Angiuli,Carlo;莫尔豪斯,爱德华;利卡塔,Daniel R.;哈珀,罗伯特:同伦补片理论(2016)