Nuprl公司

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


zbMATH中的参考文献(引用于,5标准条款)

显示结果1到20,共389个。
按年份排序(引用)

1 2 ... 18 19 20 下一个

  1. 伯杰,乌尔里希;徐木彦:直觉不动点逻辑(2021)
  2. Basin,David A.;Lochbihler,Andreas;Sefidgar,S.Reza:密码:高阶逻辑中基于博弈的证明(2020)
  3. Johansson,Moa:归纳引理的发现。调查(2019年)
  4. Kellison,Ariel;Bickford,Mark;Constable,Robert:在类型论中实现欧几里得的直尺和罗盘构造(2019)
  5. Kunčar,Ondřej;Popescu,Andrei:高阶逻辑中局部类型定义从类型到集合(2019)
  6. 米勒,戴尔:重温机械化元理论(2019)
  7. Rahli,Vincent;Bickford,Mark;Cohen,Liron;Constable,Robert L.:酒吧归纳法与建构型理论兼容(2019)
  8. Reynolds,Andrew;Kuncak,Viktor;Tinelli,Cesare;Barrett,Clark;Deters,Morgan:SMT中基于反驳的合成(2019)
  9. 安圭利,卡罗;哈珀,罗伯特:更高维度的意义解释(2018)
  10. Avelar da Silva,Andréia B.;de Lima,Thaynara Arielly;Galdino,AndréLuiz:PVS中的形式化环理论(2018)
  11. Avron,Arnon;Cohen,Liron:最小计算集合理论中的应用数学(2018)
  12. 马克·比克福德;科恩·利伦;康斯特布尔,罗伯特·L.;拉赫里,文森特:《通过选择序列超越丘奇图灵的可计算性》(2018)
  13. Carette,雅克;Farmer,William M.;Laskowski,Patrick:HOL Light QE(2018年)
  14. Farmer,William M.:将引用和评价纳入Church的类型理论(2018)
  15. Harper,Robert:开放世界中的异常跟踪(2018)
  16. Rahli,Vincent;Bickford,Mark:使用命名异常验证Brouwer对数字的连续性原则(2018)
  17. Rahli,Vincent;Cohen,Liron;Bickford,Mark:由单调库支持的已验证定理证明器后端(2018)
  18. Shankar,Natarajan:模型检验与演绎相结合(2018)
  19. Berger,Ulrich;Hou,Tie:Church简单类型理论的可实现性解释(2017)
  20. Buss,Samuel R.(编辑);Iemhoff,Rosalie(编辑);Kohlenbach,Ulrich(编辑);Rathjen,Michael(编辑):数理逻辑:证明理论,建构数学。2017年11月5日至11日(2017年)研讨会摘要

1 2 ... 18 19 20 下一个