Nuprl公司

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


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

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

1 2 ... 18 19 20 下一个

  1. 比克福德,马克;德克斯特,科赞;Silva,Alexandra:Moessner定理的形式化及其在\textscNuprl中的推广(2022)
  2. 安圭利,卡罗;布鲁内里,纪尧姆;可口可乐,蒂埃里;哈珀,罗伯特;侯(Favonia)、权邦;利卡塔:笛卡尔立体式理论的句法和模型(2021)
  3. 伯杰,乌尔里希;Tsuiki,Hideki:直觉不动点逻辑(2021)
  4. 科哈塞,迈克尔;拉贝,弗洛里安:出口主要证据助理图书馆的经验(2021年)
  5. 盆地,大卫A。;洛赫比勒,安德烈亚斯;Sefidgar,S.Reza:密码:高阶逻辑中基于博弈的证明(2020)
  6. 科恩,利伦;阿农:中土祖先逻辑(2019)
  7. Johansson,Moa:归纳引理的发现。调查(2019年)
  8. 凯利森,阿里尔;比克福德,马克;康斯特布尔,罗伯特:在类型理论中实现欧几里得的直尺和罗盘构造(2019)
  9. 昆查尔,昂德涅伊;Popescu,Andrei:高阶逻辑中的局部类型定义从类型到集合(2019)
  10. 米勒,戴尔:重温机械化元理论(2019)
  11. 拉利,文森特;比克福德,马克;科恩,利伦;Constable,Robert L.:条归纳法与建构型理论兼容(2019)
  12. 雷诺兹,安德鲁;昆卡,维克托;蒂内利,塞萨尔;巴雷特,克拉克;Deters,Morgan:SMT中基于反驳的合成(2019)
  13. 安圭利,卡罗;Harper,Robert:更高维度的意义解释(2018)
  14. 阿维拉·达席尔瓦,安德烈亚·B。;德利马,泰纳拉·阿里利;Galdino,AndréLuiz:PVS中的形式化环理论(2018)
  15. 阿文,阿农;Cohen,Liron:最小计算集合理论中的应用数学(2018)
  16. 比克福德,马克;科恩,利伦;警员,罗伯特L。;Rahli,Vincent:通过选择序列超越Church Turing的可计算性(2018)
  17. 卡莱特,雅克;农民,威廉M。;帕特里克·拉斯科斯基:霍尔轻量化(2018)
  18. Farmer,William M.:将引用和评价纳入Church的类型理论(2018)
  19. Harper,Robert:开放世界中的异常跟踪(2018)
  20. 拉利,文森特;Bickford,Mark:使用命名异常验证Brouwer数字连续性原则(2018)

1 2 ... 18 19 20 下一个