Nuprl公司

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


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

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

1 2 ... 18 19 20 下一个

  1. 伯杰,乌尔里希;Tsuiki,Hideki:直觉不动点逻辑(2021)
  2. 盆地,大卫A。;洛赫比勒,安德烈亚斯;塞菲加,S。Reza:Cryptol:高阶逻辑中基于博弈的证明(2020)
  3. Johansson,Moa:归纳引理的发现。调查(2019年)
  4. 凯利森,阿里尔;马克,比科德;康斯特布尔,罗伯特:在类型理论中实现欧几里得的直尺和罗盘构造(2019)
  5. čar,Ond公司řej公司;Popescu,Andrei:高阶逻辑中的局部类型定义从类型到集合(2019)
  6. 米勒,戴尔:重温机械化元理论(2019)
  7. 拉利,文森特;比克福德,马克;科恩,利伦;Constable,Robert L.:条归纳法与建构型理论兼容(2019)
  8. 雷诺兹,安德鲁;昆卡,维克托;蒂内利,塞萨尔;巴雷特,克拉克;Deters,Morgan:SMT中基于反驳的合成(2019)
  9. 安圭利,卡罗;Harper,Robert:更高维度的意义解释(2018)
  10. 安得烈·达席尔瓦éia B。;德利马,泰纳拉·阿里利;加尔蒂诺,安德烈é 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 下一个