Nuprl公司

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


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

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

1 2 ... 18 19 20 下一个

  1. Basin,David A.;Lochbihler,Andreas;Sefidgar,S.Reza:密码:高阶逻辑中基于博弈的证明(2020)
  2. 归纳法:约翰斯莱玛。调查(2019年)
  3. Kellison,Ariel;Bickford,Mark;Constable,Robert:在类型论中实现欧几里得的直尺和罗盘构造(2019)
  4. Kunčar,Ondřej;Popescu,Andrei:高阶逻辑中局部类型定义从类型到集合(2019)
  5. 米勒,戴尔:重温机械化元理论(2019)
  6. Vincent-Li,Constron,2019;与Constron-Li,constructive理论兼容;Mark-Li,constructive理论
  7. Reynolds,Andrew;Kuncak,Viktor;Tinelli,Cesare;Barrett,Clark;Deters,Morgan:SMT中基于反驳的合成(2019)
  8. 安圭利,卡罗;哈珀,罗伯特:更高维度的意义解释(2018)
  9. Avelar da Silva,Andréia B.;de Lima,Thaynara Arielly;Galdino,AndréLuiz:PVS中的形式化环理论(2018)
  10. Avron,Arnon;Cohen,Liron:最小计算集合理论中的应用数学(2018)
  11. Carette,雅克;Farmer,William M.;Laskowski,Patrick:HOL Light QE(2018年)
  12. Farmer,William M.:将引用和评价纳入Church的类型理论(2018)
  13. Harper,Robert:开放世界中的异常跟踪(2018)
  14. Rahli,Vincent;Bickford,Mark:使用命名异常验证Brouwer对数字的连续性原则(2018)
  15. Rahli,Vincent;Cohen,Liron;Bickford,Mark:由单调库支持的已验证定理证明器后端(2018)
  16. Shankar,Natarajan:模型检验与演绎相结合(2018)
  17. Berger,Ulrich;Hou,Tie:Church简单类型理论的可实现性解释(2017)
  18. Buss,Samuel R.(编辑);Iemhoff,Rosalie(编辑);Kohlenbach,Ulrich(编辑);Rathjen,Michael(编辑):数理逻辑:证明理论,建构数学。2017年11月5日至11日(2017年)研讨会摘要
  19. Cauderlier,Raphaël;Dubois,Catherine:Focusize and dedukti to rescue for proof interoperability(2017年)
  20. 达甘,皮埃尔·埃瓦里斯特:装饰的精髓(2017)

1 2 ... 18 19 20 下一个