Nuprl公司 swMATH ID: 6751 软件作者: R.L.Constable、S.F.Allen、H.M.Bromley、W.R.Cleaveland、J.F.Cremer、R.W.Harper、D.J.Howe、T.B.Knoblock、N.P.Mendler、P.Panangaden、J.T.Sasaki、S.F Smith 描述: Nuprl系统是一个关于数学和编程推理的框架。多年来,其设计得到了大幅改进,以满足大规模应用的需求。Nuprl LPE是最新版本,其特点是以灵活的知识库为中心的开放分布式体系结构,并支持独立形式化工具的协作。 主页: 网址:http://www.nuprl.org/ 相关软件: Coq公司;HOL公司;自动化;伊莎贝尔;PVS公司;毫升;乐高;伊莎贝尔/HOL;低成本融资;米扎尔;阿格达;HOL灯;Twelf公司;NQTHM公司;测试程序集;枣灰蝶属;IMPS公司;剑桥LCF;ETPS公司;精灵 引用于: 418文件 标准条款 5出版物描述软件,包括5出版物以zbMATH为单位 年份 Nuprl作为范畴理论中自动证明的逻辑框架。 Zbl 1354.68232号克里斯托夫·克里茨 2012 使用Nuprl的计算类型理论创新。 Zbl 1107.68090号艾伦,S.F。;比克福德,M。;康斯特布尔,R.L。;伊顿,R。;克里茨,C。;洛里戈,L。;E.莫兰。 2006 Nuprl开放逻辑环境。 兹伯利0963.68532斯图亚特·艾伦。;罗伯特·康斯特布尔。;伊顿,里奇;克里斯托夫·克里茨;洛里戈,洛里 2000 Nuprl作为一个并发交互定理证明者。 Zbl 0884.68114号罗德里克·莫滕 1997 Nuprl的计算元理论。 Zbl 0646.03010号道格拉斯·J·豪。 1988 全部的 前5名449位作者引用 23 罗伯特·李,警察 13 马克·比克福德 12 克里斯托夫·克里茨 11 道格拉斯·J·豪。 10 弗洛里安·拉贝 9 David A.Basin。 9 阿兰·邦迪 9 罗伯特·哈珀 9 弗兰克·芬宁 8 科恩、利隆 8 Farmer,William M。 8 文森特·拉里 7 福斯托·金奇利亚 7 阿兰·斯梅尔 6 艾米·费尔蒂(Amy P.Felty)。 6 迈克尔·科尔哈斯 6 何塞·梅塞盖尔·瓜伊塔 6 阿列克西·诺金 6 劳伦斯·查尔斯·保尔森 5 克里斯托夫·埃瓦尔德·本兹穆勒 5 詹姆斯·考德威尔。 5 罗朝晖 5 克里斯汀·保林·莫林 5 克劳迪奥·萨塞尔多蒂·科恩 5 斯蒂芬·施密特 5 卡斯滕·舒尔曼 5 谢克曼,Jörg H。 5 保罗·特拉弗索 5 弗里克·威迪杰克 4 安德鲁斯,彼得·B·。 4 亚历山德罗·阿曼多 4 阿诺·阿夫隆 4 道格拉斯·苏思·布里奇斯 4 简·赫尔曼·杰弗斯 4 杰森·希基。 4 丹尼尔·李卡塔(Daniel R.Licata)。 4 洛里戈,洛里 4 沃伊切赫·莫齐德·奥斯基 4 戈帕兰·纳达图尔 4 Natarajan Shankar 4 范·哈梅伦,弗兰克 4 席宏伟 三 卡洛·安吉利 三 安德烈亚·阿斯佩蒂 三 乌尔里希·伯杰 三 马修·毕晓普 三 布赫伯格,布鲁诺 三 亚历山德罗·科利奥 三 可口、蒂埃里 三 理查德·伊顿 三 Joseph Yehuda Halpern 三 霍罗扎尔,富尔亚 三 爱尔兰,安德鲁 三 Fairouz D.卡马雷丁。 三 马特·考夫曼 三 曼弗雷德·科伯 三 特穆尔库西亚 三 特温·拉恩 三 玛丽亚·艾米莉亚·梅埃蒂 三 安德烈亚斯·梅耶 三 帕维尔·G·瑙莫夫。 三 Rob Nederpelt公司 三 丹·奈史密斯 三 延斯·奥滕 三 萨宾娜·彼得里德 三 伊曼·哈菲兹·波尔莫莫 三 罗伯特·波拉克 三 唐纳德·桑内拉。 三 高山由纪德 三 Makoto Tatsuta 2 阿费尔特,雷纳德 2 斯图亚特·艾伦。 2 阿南德,阿比舍克 2 安德森,佩妮 2 埃里克·安德烈斯 2 谢尔盖·奥特西尔 2 亨德里克·彼得·巴伦德雷格特 2 拉尔夫·本辛格 2 斯特凡·伯格霍费尔 2 伊夫·贝托特 2 理查德·博尔顿。 2 安娜·波夫 2 Tour男孩,蒂埃里 2 乍得·布朗·爱德华 2 Chollet,阿加西 2 兰斯·克莱维兰 2 西里尔·科恩 2 卡尔·克里 2 约翰·纽索姆·克罗斯利 2 乔尔·德斯佩鲁 2 多米尼克·迪特里希 2 彼得·戴比杰 2 埃格利,乌韦 2 雅克·弗莱里奥特。 2 福斯,劳伦特 2 迪迪埃·加米歇 2 菲利普·安·加德纳 2 约书亚·D·古特曼。 2 简·赫斯基 2 Furio Honsell …还有349名作者 全部的 前5名58篇连载文章被引用 33 理论计算机科学 23 自动推理杂志 12 计算机科学课堂讲稿 11 MSCS公司。计算机科学中的数学结构 11 数学与人工智能年鉴 9 符号计算杂志 8 信息与计算 7 计算的形式方面 7 函数编程杂志 7 应用逻辑杂志 6 纯逻辑与应用逻辑年鉴 5 计算机科学中的逻辑方法 4 人工智能 4 计算机基础理论 三 比特币 三 逻辑研究 三 系统设计中的形式化方法 三 逻辑与代数程序设计杂志 三 萨达纳 2 信息学报 2 逻辑与计算杂志 2 国际计算机科学基础杂志 2 逻辑、语言与信息杂志 2 高阶和符号计算 2 北约ASI系列。F.系列计算机与系统科学 1 国际系统科学杂志 1 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 1 计算机语言 1 北海道数学杂志 1 圣母院形式逻辑杂志 1 京都大学数学科学研究所出版物 1 合成 1 国际并行程序设计杂志 1 信息处理与控制论杂志 1 建模与仿真进展 1 密码学杂志 1 AI通信 1 模式识别 1 分布式计算 1 Indagationes Mathematicae公司。新系列 1 应用非经典逻辑杂志 1 IGPL杂志 1 美国医学会杂志 1 LMS计算与数学杂志 1 函数与逻辑编程杂志 1 通用计算机科学杂志 1 IEEE计算历史年鉴 1 ACM计算逻辑事务 1 Oberwolfach报告 1 研讨会,柏林洪堡大学,Sektion Mathematik 1 A.P.I.C.数据处理研究 1 剑桥理论计算机科学丛书 1 DIMACS。离散数学和理论计算机科学系列 1 数学及其应用研究所系列会议。新系列 1 国际计算机科学专著系列 1 泛逻辑 1 程序设计中的逻辑和代数方法杂志 1 理论计算机科学课文。EATCS系列 全部的 前5名17个字段中引用 365 计算机科学(68-XX) 220 数学逻辑和基础(03-XX) 19 总体主题;集合(00-XX) 9 范畴理论;同调代数(18-XX) 4 代数拓扑(55-XX) 三 历史和传记(01-XX) 三 组合数学(05-XX) 三 数论(11-XX) 三 交换代数(13-XX) 2 阶、格、有序代数结构(06-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 群论与推广(20-XX) 1 实际功能(26年X月X日) 1 近似值和展开值(41至XX) 1 功能分析(46倍X倍) 1 几何图形(51-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文