Nuprl公司

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