编辑配置文件(在新选项卡中打开) 拉斐尔·考德利埃 合著者距离 作者ID: 烧烤者拉斐尔 发布日期: 拉斐尔·考德利埃 已编制索引的文档: 6出版物自2011年起 合著者: 9合著者具有5联合出版物 112位Co-Co作者 全部的 前5名合著者 1 单作者的 三 凯瑟琳·杜布瓦 1 H.J.Sander,布鲁金克 1 纪尧姆·伯勒 1 纪尧姆·伯里 1 大卫·德拉哈耶 1 皮埃尔·哈尔马格兰德 1 奥利维尔·赫曼特 1 马蒂亚斯·Hülsbusch 1 巴巴拉·科尼格 系列 1 自动推理杂志 领域 6 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用12中的次12文件 引用人▼ 年份▼ 条件反应系统。 Zbl 1246.68152号 H.J.Sander,布鲁金克;拉斐尔·考德利埃;马蒂亚斯·Hülsbusch;巴巴拉·科尼格 6 2011 用理论进行一阶自动推理:当演绎模理论符合实际时。 Zbl 1468.68282号 纪尧姆·伯勒;纪尧姆·伯里;拉斐尔·考德利埃;大卫·德拉哈耶;皮埃尔·哈尔马格兰德;奥利维尔·赫曼特 三 2020 ML模式匹配、递归和重写:从FoCaLiZe到Dedukti。 Zbl 1482.68267号 拉斐尔·考德利埃;凯瑟琳·杜布瓦 2 2016 \(\lambda\)-\(\Pi\)-演算模块中的对象和子类型。 Zbl 1367.68049号 拉斐尔·考德利埃;凯瑟琳·杜布瓦 1 2015 用理论进行一阶自动推理:当演绎模理论符合实际时。 Zbl 1468.68282号 纪尧姆·伯勒;纪尧姆·伯里;拉斐尔·考德利埃;大卫·德拉哈耶;皮埃尔·哈尔马格兰;奥利维尔·赫曼特 三 2020 ML模式匹配、递归和重写:从FoCaLiZe到Dedukti。 Zbl 1482.68267号 拉斐尔·考德利埃;凯瑟琳·杜布瓦 2 2016 \(\lambda\)-\(\Pi\)-演算模块中的对象和子类型。 Zbl 1367.68049号 拉斐尔·考德利埃;凯瑟琳·杜布瓦 1 2015 条件反应系统。 Zbl 1246.68152号 H.J.Sander,布鲁金克;拉斐尔·考德利埃;马蒂亚斯·Hülsbusch;巴巴拉·科尼格 6 2011 所有引用出版物 前5名被引用出版物 全部的 前5名35位作者引用 三 拉斐尔·考德利埃 2 菲利波·邦奇 2 大卫·德拉哈耶 2 凯瑟琳·杜布瓦 2 法比奥·加杜奇 2 亚历克斯·基辛格 2 索博辛斯基,Paweł 2 法比奥·扎纳西 1 布莱尔·阿奇博尔德 1 布齐安·欣德·莉莉亚 1 H.J.Sander,布鲁金克 1 纪尧姆·伯勒 1 纪尧姆·伯里 1 朱莉·凯勒 1 卡德,莫菲 1 曹、冯 1 陈树伟 1 马克西米利亚诺·克里斯蒂亚 1 纳鸿·德肖维茨 1 皮埃尔·哈尔马格兰德 1 奥利维尔·赫曼特 1 Jean-Pierre Jouannaud 1 巴巴拉·科尼格 1 莱恩·兰伯斯 1 刘军 1 玛琳·马特耶卡 1 诺尔特,丹尼斯 1 费尔南多·奥雷贾斯 1 西蒙·罗比拉德 1 约翰·罗辛 1 吉安弗兰科·罗西 1 米歇尔·塞维格纳尼 1 拉尔斯·斯托尔特诺 1 徐,杨 1 易建兵 4篇连载文章中引用 2 理论计算机科学 2 自动推理杂志 1 信息科学 1 计算机科学中的数学结构 在3个字段中引用 12 计算机科学(68至XX) 三 范畴理论;同调代数(18-XX) 2 数学逻辑和基础(03-XX) 按年份列出的引文