编辑配置文件（在新选项卡中打开） 奥利维尔·赫曼特 合著者距离 作者ID： 赫尔曼特·奥利维尔 发布方式： 奥利维尔·赫曼特 已编制索引的文档： 18出版物自2005年以来 合著者： 20位合著者具有16联合出版物 119合著作者 全部的 前5名合著者 2 单作者的 三 詹姆斯·利普顿（James B.Lipton）。 2 理查德·博尼肯 2 大卫·德拉海耶 2 Gilles Dowek 2 皮埃尔·哈尔马格兰 1 丽莎·阿拉利 1 弗雷德里克·布兰基 1 梅兰妮·布达德 1 布鲁内尔，阿洛伊斯 1 纪尧姆·伯勒 1 纪尧姆·伯里 1 拉斐尔·考德利埃 1 丹尼斯·卡西诺 1 Damien Doligez 1 纪尧姆·杰内斯蒂尔 1 弗莱德里克·吉尔伯特 1 吉尔伯特，盖坦 1 科莱门·霍特曼 1 弗朗索瓦州伊里冈 1 费雯·梅森纽夫 系列 2 自动推理杂志 1 圣母院形式逻辑期刊 1 逻辑与计算杂志 领域 16 数学逻辑和基础（03-XX） 8 计算机科学（68至XX） 1 阶、格、有序代数结构（06-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 12出版物有被引用43中的次30文件 引用人▼ 年份▼ 直觉顺序演算中的语义切割消除。 Zbl 1114.03044号 奥利维尔·赫曼特 9 2005 芝诺模数：当阿喀琉斯使用演绎模数超过乌龟时。 兹比尔1406.68105 大卫·德拉海耶;Damien Doligez;弗莱德里克·吉尔伯特;皮埃尔·哈尔马格兰;奥利维尔·赫曼特 8 2013 超一致性意味着消减的简单证明。 Zbl 1203.03086号 Gilles Dowek;奥利维尔·赫曼特 4 2007 分辨率是无裁剪的。 Zbl 1197.03010号 奥利维尔·赫曼特 4 2010 TaMeD的语义完整性证明。 Zbl 1165.68451号 理查德·博尼肯;奥利维尔·赫曼特 4 2006 论演绎模数中的推定可采性。 Zbl 1178.03021号 理查德·博尼肯;奥利维尔·赫曼特 三 2007 用理论进行一阶自动推理：当演绎模理论符合实际时。 Zbl 1468.68282号 纪尧姆·伯勒;纪尧姆·伯里;拉斐尔·考德利埃;大卫·德拉海耶;皮埃尔·哈尔马格兰;奥利维尔·赫曼特 三 2020 依赖型理论模重写中的依赖对终止。 Zbl 1528.68155号 弗雷德里克·布兰基;纪尧姆·杰内斯蒂尔;奥利维尔·赫曼特 三 2019 极化双重否定翻译。 Zbl 1433.03014号 梅兰妮·布达德;奥利维尔·赫曼特 2 2013 语义A翻译和超一致性需要经典的消去。 Zbl 1433.03134号 丽莎·阿拉利;奥利维尔·赫曼特 1 2013 在带有公理的类型理论中，一种构造性的语义方法来消减。 Zbl 1157.03031号 奥利维尔·赫曼特;詹姆斯·利普顿 1 2008 直觉主义类型理论的完备性和删减。二、。 Zbl 1188.03042号 奥利维尔·赫曼特;詹姆斯·利普顿 1 2010 用理论进行一阶自动推理：当演绎模理论符合实际时。 Zbl 1468.68282号 纪尧姆·伯勒;纪尧姆·伯里;拉斐尔·考德利埃;大卫·德拉海耶;皮埃尔·哈尔马格兰;奥利维尔·赫曼特 三 2020 依赖型理论模重写中的依赖对终止。 兹比尔1528.68155 弗雷德里克·布兰基;纪尧姆·杰内斯蒂尔;奥利维尔·赫曼特 三 2019 芝诺模数：当阿喀琉斯使用演绎模数超过乌龟时。 Zbl 1406.68105号 大卫·德拉海耶;Damien Doligez;弗雷德里克·吉尔伯特;皮埃尔·哈尔马格兰;奥利维尔·赫曼特 8 2013 极化双重否定翻译。 Zbl 1433.03014号 梅兰妮·布达德;奥利维尔·赫曼特 2 2013 语义A翻译和超一致性需要经典的消去。 Zbl 1433.03134号 丽莎·阿拉利;奥利维尔·赫曼特 1 2013 分辨率是无裁剪的。 Zbl 1197.03010号 奥利维尔·赫曼特 4 2010 直觉主义类型理论的完备性和删减。二、。 Zbl 1188.03042号 奥利维尔·赫曼特;詹姆斯·利普顿 1 2010 在带有公理的类型理论中，一种构造性的语义方法来消减。 Zbl 1157.03031号 奥利维尔·赫曼特;詹姆斯·利普顿 1 2008 超一致性意味着消减的简单证明。 Zbl 1203.03086号 Gilles Dowek;奥利维尔·赫曼特 4 2007 论演绎模数中的推定可采性。 Zbl 1178.03021号 理查德·博尼肯;奥利维尔·赫曼特 三 2007 TaMeD的语义完整性证明。 Zbl 1165.68451号 理查德·博尼肯;奥利维尔·赫曼特 4 2006 直觉顺序演算中的语义切割消除。 Zbl 1114.03044号 奥利维尔·赫曼特 9 2005 所有引用出版物 前5名被引用出版物 全部的 前5名50位作者引用 5 纪尧姆·伯勒 4 奥利维尔·赫曼特 三 大卫·德拉海耶 三 Gilles Dowek 2 纪尧姆·伯里 2 拉斐尔·考德利埃 2 皮埃尔·哈尔马格兰 2 科莱门·霍特曼 2 胜彦三野 2 苏佑安 1 马克·艾吉尔 1 艾哈迈德·巴亚特 1 弗雷德里克·布兰基 1 布齐安·欣德·莉莉亚 1 埃德温·布雷迪（Edwin C.Brady）。 1 乍得·布朗·爱德华 1 布鲁内尔，阿洛伊斯 1 朱莉·凯勒 1 曹、冯 1 陈树伟 1 杰斯珀·考克斯 1 马克西米利亚诺·克里斯蒂亚 1 瓦莱里亚·德·佩瓦 1 凯瑟琳·杜布瓦 1 高建华 1 Thibault Gauthier 1 弗莱德里克·吉尔伯特 1 艾米丽·格里恩伯格 1 马科托·哈马纳 1 加布里埃尔·洪德特 1 季凯良 1 塞萨里·卡利西克 1 克洛德·基什内尔 1 刘军 1 Delphine Longuet 1 Ryo Murai 1 路易斯·卡洛斯·佩雷拉（Luiz Carlos P.D.Pereira）。 1 伊莲·皮门特尔 1 贾尔斯·里格尔 1 吉赛尔·赖斯 1 西蒙·罗比拉德 1 约翰·罗辛 1 Gianfranco罗西 1 弗兰克·斯拉玛 1 杰夫·萨特克利夫 1 弗朗索瓦·瑟雷 1 约瑟夫·乌尔班 1 布鲁诺沃尔岑洛格尔古 1 徐，杨 1 易建兵 全部的 前5名10篇连载文章中引用 三 自动推理杂志 2 计算机科学中的逻辑方法 1 信息科学 1 圣母院形式逻辑期刊 1 Studia Logica公司 1 合成 1 计算机科学与技术杂志 1 信息与计算 1 骨髓间充质干细胞。计算机科学中的数学结构 1 泛逻辑 在2个字段中引用 22 数学逻辑和基础（03-XX） 17 计算机科学（68至XX） 按年份列出的引文