编辑配置文件(在新选项卡中打开) 威尔默·里奇奥蒂 合著者距离 作者ID: 里奇奥蒂·威尔默 发布日期: 威尔默·里奇奥蒂;W.里奇奥蒂。 已编制索引的文档: 19出版物自2009年起 合著者: 6位合著者具有18联合出版物 141位合作作者 全部的 前5名合著者 1 单作者的 12 安德烈亚·阿斯佩蒂 6 克劳迪奥·萨塞尔多蒂·科恩 5 詹姆斯·切尼 5 恩里科·塔西 1 兰迪·波拉克 1 佐藤真彦 系列 三 自动推理杂志 2 计算机科学中的逻辑方法 2 形式化推理杂志 1 理论计算机科学 1 萨达纳 领域 19 计算机科学(68至XX) 7 数学逻辑和基础(03-XX) 2 数论(11-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 16出版物有被引用85中的次62文件 引用人▼ 年份▼ Matita交互式定理证明器。 Zbl 1341.68179号 安德烈亚·阿斯佩蒂;威尔默·里奇奥蒂;克劳迪奥·萨塞尔多蒂·科恩;恩里科·塔西 22 2011 统一的提示。 兹比尔1252.68246 安德烈亚·阿斯佩蒂;威尔默·里奇奥蒂;克劳迪奥·萨塞尔多蒂·科恩;恩里科·塔西 13 2009 绑定的规范本地命名表示。 Zbl 1270.68073号 Randy波拉克;佐藤正彦;威尔默·里奇奥蒂 12 2012 规范化图灵机器。 Zbl 1361.68183号 安德烈亚·阿斯佩蒂;威尔默·里奇奥蒂 6 2012 (共)归纳结构演算的双向精化算法。 Zbl 1238.68145号 安德烈亚·阿斯佩蒂;威尔默·里奇奥蒂;克劳迪奥·萨塞尔多蒂·科恩;恩里科·塔西 5 2012 多带图灵机的形式化。 Zbl 1330.68065号 安德烈亚·阿斯佩蒂;威尔默·里奇奥蒂 5 2015 归纳结构演算的紧凑内核。 Zbl 1196.68221号 A.阿斯佩蒂。;W.里奇奥蒂。;Sacerdoti Coen,C。;E.塔西。 4 2009 关于Chebyshev在数论中某些结果的形式化。 Zbl 1246.03026号 安德烈亚·阿斯佩蒂;威尔默·里奇奥蒂 4 2009 Matita教程。 Zbl 1451.68314号 安德烈亚·阿斯佩蒂;威尔默·里奇奥蒂;Claudio Sacerdoti科恩 4 2014 贝特朗假设的证明。 Zbl 1451.68331号 安德烈亚·阿斯佩蒂;威尔默·里奇奥蒂 2 2012 严格规范审计计算。 Zbl 1434.03059号 威尔默·里奇奥蒂;切尼,詹姆斯 2 2017 查询起重。异构嵌套集合的语言集成查询。 Zbl 1473.68067号 威尔默·里奇奥蒂;詹姆斯·切尼 2 2021 Matita的web界面。 Zbl 1360.68739号 安德烈亚·阿斯佩蒂;威尔默·里奇奥蒂 1 2012 明确审计。 Zbl 1518.68040号 威尔默·里奇奥蒂;詹姆斯·切尼 1 2018 将结构绑定为抽象数据类型。 Zbl 1335.68153号 威尔默·里奇奥蒂 1 2015 强规范化高阶关系查询。 Zbl 07596571号 威尔默·里奇奥蒂;詹姆斯·切尼 1 2022 强规范化高阶关系查询。 Zbl 07596571号 威尔默·里奇奥蒂;詹姆斯·切尼 1 2022 查询起重。异构嵌套集合的语言集成查询。 Zbl 1473.68067号 威尔默·里奇奥蒂;詹姆斯·切尼 2 2021 明确审计。 Zbl 1518.68040号 威尔默·里奇奥蒂;詹姆斯·切尼 1 2018 严格规范审计计算。 Zbl 1434.03059号 威尔默·里奇奥蒂;切尼,詹姆斯 2 2017 多带图灵机的形式化。 Zbl 1330.68065号 安德烈亚·阿斯佩蒂;威尔默·里奇奥蒂 5 2015 将结构绑定为抽象数据类型。 Zbl 1335.68153号 威尔默·里奇奥蒂 1 2015 Matita教程。 Zbl 1451.68314号 安德烈亚·阿斯佩蒂;威尔默·里奇奥蒂;克劳迪奥·萨塞尔多蒂·科恩 4 2014 绑定的规范本地命名表示。 Zbl 1270.68073号 兰迪·波拉克;佐藤真彦;威尔默·里奇奥蒂 12 2012 规范化图灵机器。 Zbl 1361.68183号 安德烈亚·阿斯佩蒂;威尔默·里奇奥蒂 6 2012 (共)归纳结构演算的双向精化算法。 Zbl 1238.68145号 安德烈亚·阿斯佩蒂;威尔默·里奇奥蒂;克劳迪奥·萨塞尔多蒂·科恩;恩里科·塔西 5 2012 贝特朗假设的证明。 Zbl 1451.68331号 安德烈亚·阿斯佩蒂;威尔默·里奇奥蒂 2 2012 Matita的web界面。 Zbl 1360.68739号 安德烈亚·阿斯佩蒂;威尔默·里奇奥蒂 1 2012 Matita交互式定理证明器。 Zbl 1341.68179号 安德里亚·阿斯佩蒂;威尔默·里奇奥蒂;克劳迪奥·萨塞尔多蒂·科恩;恩里科·塔西 22 2011 统一的提示。 Zbl 1252.68246号 安德烈亚·阿斯佩蒂;威尔默·里奇奥蒂;克劳迪奥·萨塞尔多蒂·科恩;恩里科·塔西 13 2009 归纳结构演算的紧凑内核。 Zbl 1196.68221号 A.阿斯佩蒂。;W.里奇奥蒂。;Sacerdoti Coen,C。;E.塔西。 4 2009 关于Chebyshev在数论中某些结果的形式化。 Zbl 1246.03026号 安德烈亚·阿斯佩蒂;威尔默·里奇奥蒂 4 2009 所有引用出版物 前5名被引用出版物 全部的 前5名97位作者引用 8 恩里科·塔西 7 安德烈亚·阿斯佩蒂 7 威尔默·里奇奥蒂 6 克劳迪奥·萨塞尔多蒂·科恩 4 安德烈·波佩斯库 三 詹姆斯·切尼 三 莱昂纳多·德·莫拉 三 扬尼克·福斯特 2 塞萨里·卡利西克 2 昆查尔,Ondřej 2 弗朗索瓦·波蒂埃 2 坂口和彦 2 格特·斯莫尔卡 2 溅出物,Bas 2 贝塔·齐利安尼 1 雷纳尔德·阿弗尔德 1 阿米尔·穆罕默德(Amir-Mhammadian,Sepehr) 1 阿拉斯代尔阿姆斯特朗 1 杰瑞米·阿维加德 1 布鲁诺·巴拉斯 1 贾斯敏·克里斯蒂安·布兰切特 1 弗雷德里克·布兰基 1 艾默里·布齐 1 克里斯蒂安·卡鲁德。 1 陈兴伦 1 阿尔贝托·齐法格利翁 1 西里尔·科恩 1 库卡斯·扎伊卡 1 德里克·德雷尔(Derek R.Dreyer)。 1 安德烈·杜登赫夫纳 1 曼纽尔·埃贝尔 1 丹尼尔·弗里德兰德 1 Thibault Gauthier 1 简·赫尔曼·杰弗斯 1 洛伦佐·盖里 1 维克多·戈麦斯。 1 费卢西奥·圭迪 1 乔纳森·赫拉斯 1 Furio Honsell 1 查迪·卡里 1 玛丽·柯让 1 叶卡捷琳娜·科门丹茨卡亚 1 弗拉基米尔·科门丹斯基 1 孔顺浩 1 Olexandr科诺瓦洛夫 1 罗伯特·克雷伯斯 1 尼拉坎坦·R·克里希纳斯瓦米。 1 费边·昆泽 1 拉金,马修·R。 1 Lee,Gyesik先生 1 托梅尔·利巴尔 1 斯蒂芬·林顿(Stephen A.Linton)。 1 路易吉·利科里 1 安德烈亚斯·洛赫比勒 1 阿西亚·马布比 1 玛丽亚·艾米莉亚·梅耶蒂 1 Maksimović,佩塔 1 克里斯蒂娜·马塔奇 1 康诺·托马斯·麦克布莱德 1 西芒,索萨甜瓜 1 戴尔·艾伦·米勒 1 内尔玛·莫雷拉 1 多米尼克·P·穆利根。 1 阿列克桑达尔·纳内夫斯基 1 拉贾·纳塔拉扬 1 迈克尔·诺里什 1 米盖尔·帕加诺 1 卢卡·保里尼 1 Park,琼云 1 松武公园 1 帕斯莫尔,格兰特·奥尼 1 戴维·佩雷拉(David P.Pereira)。 1 毛罗·皮科洛 1 安德鲁·皮特斯(Andrew M.Pitts)。 1 兰迪·波拉克 1 尼古拉斯·波伊拉德 1 弗洛里安·拉贝 1 格里高·罗什乌 1 Damien Rouhling公司 1 卢卡·罗维斯 1 佐藤真彦 1 伊万·斯卡格内托 1 阿兰·施密特 1 丹尼尔·塞尔萨姆 1 Seo、Jeongbong 1 索索、马蒂厄 1 Paul斯坦西佛 1 克劳德·斯托尔泽 1 乔治·斯特鲁斯 1 坦克墨水,雕刻 1 德克兰·汤普森 1 德米特里·特拉泰尔 1 维克托·瓦菲亚迪斯 1 范德威根,埃利斯 1 弗洛里斯·范杜恩 1 雅各布·冯·劳默 1 米切尔·旺德 全部的 前5名11篇连载文章中引用 10 自动推理杂志 7 函数编程杂志 4 计算机科学中的数学结构 三 理论计算机科学 2 符号计算杂志 2 计算机科学中的逻辑方法 1 数学与人工智能年鉴 1 萨达纳 1 ACM计算逻辑事务 1 计算机科学中的数学 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在6个字段中引用 59 计算机科学(68至XX) 15 数学逻辑和基础(03-XX) 1 阶、格、有序代数结构(06-XX) 1 数论(11-XX) 1 范畴理论;同调代数(18-XX) 1 数值分析(65-XX) 按年份列出的引文