Nuprl公司

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


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

显示390个结果中的1到20个。
按年份排序(引用)

1 2 ... 18 19 20 下一个

  1. 伯杰,乌尔里希;Tsuiki,Hideki:直觉不动点逻辑(2021)
  2. 盆地,大卫A。;洛赫比勒,安德烈亚斯;Sefidgar,S.Reza:密码:高阶逻辑中基于博弈的证明(2020)
  3. Johansson,Moa:归纳引理的发现。调查(2019年)
  4. 凯利森,阿里尔;比克福德,马克;实施罗拔欧几里得理论(2019年罗伯特·欧几里得理论)
  5. 昆查尔,昂德涅伊;Popescu,Andrei:高阶逻辑中的局部类型定义从类型到集合(2019)
  6. 米勒,戴尔:重温机械化元理论(2019)
  7. 拉利,文森特;比克福德,马克;科恩,利伦;Constable,Robert L.:条归纳法与建构型理论兼容(2019)
  8. 雷诺兹,安德鲁;昆卡,维克托;蒂内利,塞萨尔;巴雷特,克拉克;Deters,Morgan:SMT中基于反驳的合成(2019)
  9. 安圭利,卡罗;Harper,Robert:更高维度的意义解释(2018)
  10. 阿维拉·达席尔瓦,安德烈亚·B。;德利马,泰纳拉·阿里利;Galdino,AndréLuiz:PVS中的形式化环理论(2018)
  11. 阿文,阿农;Cohen,Liron:最小计算集合理论中的应用数学(2018)
  12. 比克福德,马克;科恩,利伦;警员,罗伯特L。;Rahli,Vincent:通过选择序列超越Church Turing的可计算性(2018)
  13. 卡莱特,雅克;农民,威廉M。;帕特里克·拉斯科斯基:霍尔轻量化(2018)
  14. Farmer,William M.:将引用和评价纳入Church的类型理论(2018)
  15. Harper,Robert:开放世界中的异常跟踪(2018)
  16. 拉利,文森特;Bickford,Mark:使用命名异常验证Brouwer数字连续性原则(2018)
  17. 拉利,文森特;科恩,利伦;Bickford,Mark:一个由单调库支持的已验证定理证明器后端(2018)
  18. Shankar,Natarajan:模型检验与演绎相结合(2018)
  19. 伯杰,乌尔里希;侯铁:丘奇简单类型理论的可实现性解读(2017)
  20. 巴斯,塞缪尔R.(编辑);伊姆霍夫,罗莎莉(编辑);科伦巴赫,乌尔里希(编辑);数学逻辑:证明理论,建构数学。2017年11月5日至11日(2017年)研讨会摘要

1 2 ... 18 19 20 下一个