编辑配置文件（在新选项卡中打开） 利奥·巴赫迈尔 合著者距离 作者ID： 巴赫迈尔·利奥 发布日期： 利奥·巴赫迈尔；巴赫迈尔。 外部链接： MGP公司 已编制索引的文档： 39出版物自1980年以来，包括1本书 1名编辑贡献 合著者： 17合著者具有36联合出版物 450位合作作者 全部的 前5名合著者 4 单作者的 16 哈拉尔德·甘辛格 6 纳鸿·德肖维茨 6 阿什什·库马尔·蒂瓦里 4 罗马克里希南，I.V。 三 乌韦·沃尔德曼 2 陈、塔 2 普莱斯特德，大卫·艾伦 2 罗摩克里希南。 2 韦恩·斯奈德 2 劳伦·维格纳龙 1 保罗·阿格隆 1 布赫伯格，布鲁诺 1 马克西姆·利凡采夫 1 弗兰克·尼尔森 1 哈拉尔德街 1 克莉丝特尔·谢尔夫 1 安德烈·沃伦科夫 全部的 前5名系列 2 符号计算杂志 1 信息处理信件 1 计算机协会杂志 1 SIGSAM公告 1 理论计算机科学 1 信息与计算 1 自动推理杂志 1 逻辑与计算杂志 1 工程、通信和计算中的应用代数 1 美国医学会杂志 1 计算机科学课堂讲稿 全部的 前5名领域 39 计算机科学（68至XX） 20 数理逻辑与基础（03-XX） 4 一般代数系统（08-XX） 三 交换代数（13-XX） 1 总体主题；集合（00-XX） 1 阶、格、有序代数结构（06-XX） 1 数论（11-XX） 1 数学教育（97-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 36出版物有被引用697中的次430文件 引用人▼ 年份▼ 基于重写的方程定理证明，带有选择和简化。 Zbl 0814.68117号 利奥·巴赫迈尔；哈拉尔德·甘辛格 118 1994 分辨率定理证明。 Zbl 0993.03008号 利奥·巴赫迈尔；哈拉尔德·甘辛格 115 2001 层次一阶理论的反驳定理证明。 Zbl 0797.03008号 Leo巴赫迈尔；哈拉尔德·甘辛格；乌韦·沃尔德曼 37 1994 交换、转换和终止。 Zbl 0642.68036号 利奥·巴赫迈尔；纳鸿·德肖维茨 36 1986 规范方程证明。 Zbl 0732.68094号 利奥·巴赫迈尔 36 1991 叠加与简化作为一元类的决策过程，具有相等性。 Zbl 0793.68127号 利奥·巴赫迈尔；哈拉尔德·甘辛格；乌韦·沃尔德曼 35 1993 关联交换重写系统的终止顺序。 Zbl 0587.68041号 利奥·巴赫迈尔；普莱斯特德，大卫·A。 29 1985 基本的副调制。 Zbl 0833.68115号 利奥·巴赫迈尔；哈拉尔德·甘辛格；克里斯托弗·林奇；韦恩·斯奈德 25 1995 传递关系一阶理论的有序链计算。 Zbl 1065.68615号 Leo巴赫迈尔；哈拉尔德·甘辛格 24 1998 基本的副调制和叠加。 Zbl 0925.03052号 利奥·巴赫迈尔；哈拉尔德·甘辛格；克里斯托弗·林奇；韦恩·斯奈德 24 1992 重写模同余的完成。 Zbl 0686.68021号 利奥·巴赫迈尔；纳鸿·德肖维茨 24 1989 完成的关键对标准。 Zbl 0651.68030号 利奥·巴赫迈尔；纳鸿·德肖维茨 22 1988 等式推理、规范证明和证明顺序。 Zbl 0806.68095号 利奥·巴赫迈尔；纳鸿·德肖维茨 19 1994 基于饱和定理证明中的等式推理。 Zbl 0973.68215号 利奥·巴赫迈尔；哈拉尔德·甘辛格 18 1998 抽象同余闭包。 Zbl 1040.03006号 利奥·巴赫迈尔；阿什什·蒂瓦里；劳伦·维格纳龙 17 2003 关于有序副调性的简化限制。 Zbl 1509.03040号 利奥·巴赫迈尔；哈拉尔德·甘辛格 17 1990 重写模同余的完成。 Zbl 0659.68114号 利奥·巴赫迈尔；纳鸿·德肖维茨 15 1987 通过严格叠加完成具有相等性的一阶子句。 Zbl 1507.03068号 利奥·巴赫迈尔；哈拉尔德·甘辛格 11 1991 关联交换约简顺序。 Zbl 0759.68043号 利奥·巴赫迈尔 8 1992 使用选择和冗余标准进行非子句解析和叠加。 Zbl 0925.03063号 利奥·巴赫迈尔；哈拉尔德·甘辛格 7 1992 联想-交换歧视网。 Zbl 1497.68237号 利奥·巴赫迈尔；陈、塔；罗马克里希南，I.V。 6 1993 通过带排序约束的转换消除等式。 Zbl 0926.03006号 Leo巴赫迈尔；哈拉尔德·甘辛格；安德烈·沃伦科夫 6 1998 Gröbner-bases特征定理的简化证明。 Zbl 0454.68021号 巴赫迈尔。；巴赫伯格，B。 6 1980 同余闭包模结合性和交换性。 Zbl 0962.68085号 巴赫迈尔。；罗马克里希南，I.V。；蒂瓦里，A。；维格纳龙，L。 6 2000 证明分辨率和副调制的规范化。 Zbl 1503.03015号 利奥·巴赫迈尔 5 1989 关联路径排序。 Zbl 0576.68015号 利奥·巴赫迈尔；普莱斯特德，大卫·A。 5 1985 严格的基本叠加。 Zbl 0924.03017号 利奥·巴赫迈尔；哈拉尔德·甘辛格 4 1998 抽象同余闭包和特化。 Zbl 0963.68233号 利奥·巴赫迈尔；阿什什·蒂瓦里 4 2000 刚性\（E\）-统一修正。 Zbl 0963.68187号 阿什什·蒂瓦里；利奥·巴赫迈尔；哈拉尔德·鲁斯 4 2000 Buchberger算法：基于约束的完成过程。 Zbl 1495.68249号 利奥·巴赫迈尔；哈拉尔德·甘辛格 4 1994 层次一阶理论的定理证明。 Zbl 0925.03074号 Leo巴赫迈尔；哈拉尔德·甘辛格；乌韦·沃尔德曼 三 1992 无（lambda）抽象的高阶项的基于LPO的终止排序。 Zbl 0927.03054号 马克西姆·利凡采夫；利奥·巴赫迈尔 2 1998 重写技术和应用程序。第11届国际会议，2000年7月10日至12日，英国诺维奇，RTA 2000。诉讼程序。 Zbl 0941.00035号 2 2000 通过重写闭包进行规范化。 Zbl 0943.68090号 巴赫迈尔。；罗摩克里希南。；罗马克里希南，I.V。；蒂瓦里，A。 1 1999 总订单的有序链接。 Zbl 1433.68528号 利奥·巴赫迈尔；哈拉尔德·甘辛格 1 1994 \交换Noetherian环上多项式理想的（D\）-基。 Zbl 1379.68362号 利奥·巴赫迈尔；阿什什·蒂瓦里 1 1997 抽象同余闭包。 兹比尔1040.03006 利奥·巴赫迈尔；阿什什·蒂瓦里；劳伦·维格纳龙 17 2003 分辨率定理证明。 Zbl 0993.03008号 利奥·巴赫迈尔；哈拉尔德·甘辛格 115 2001 同余闭包模结合性和交换性。 Zbl 0962.68085号 巴赫迈尔。；罗马克里希南，I.V。；蒂瓦里，A。；维格纳龙，L。 6 2000 抽象同余闭包和特化。 Zbl 0963.68233号 利奥·巴赫迈尔；阿什什·蒂瓦里 4 2000 刚性\（E\）-统一修订。 Zbl 0963.68187号 阿什什·蒂瓦里；利奥·巴赫迈尔；哈拉尔德·鲁斯 4 2000 重写技术和应用程序。第11届国际会议，2000年7月10日至12日，英国诺维奇，RTA 2000。诉讼程序。 Zbl 0941.00035号 2 2000 通过重写闭包进行规范化。 Zbl 0943.68090号 巴赫迈尔。；罗摩克里希南。；罗马克里希南，I.V。；蒂瓦里，A。 1 1999 传递关系一阶理论的有序链计算。 Zbl 1065.68615号 利奥·巴赫迈尔；哈拉尔德·甘辛格 24 1998 基于饱和的定理证明中的等式推理。 Zbl 0973.68215号 利奥·巴赫迈尔；哈拉尔德·甘辛格 18 1998 通过带排序约束的转换消除等式。 Zbl 0926.03006号 利奥·巴赫迈尔；哈拉尔德·甘辛格；安德烈·沃伦科夫 6 1998 严格的基本叠加。 Zbl 0924.03017号 利奥·巴赫迈尔；哈拉尔德·甘辛格 4 1998 一种基于LPO的高阶项的终止排序，没有\（\lambda\）抽象。 Zbl 0927.03054号 马克西姆·利凡采夫；利奥·巴赫迈尔 2 1998 \交换Noetherian环上多项式理想的（D\）-基。 Zbl 1379.68362号 利奥·巴赫迈尔；阿什什·蒂瓦里 1 1997 基本的副调制。 Zbl 0833.68115号 利奥·巴赫迈尔；哈拉尔德·甘辛格；克里斯托弗·林奇；韦恩·斯奈德 25 1995 基于重写的方程定理证明，带有选择和简化。 Zbl 0814.68117号 利奥·巴赫迈尔；哈拉尔德·甘辛格 118 1994 层次一阶理论的反驳定理证明。 Zbl 0797.03008号 利奥·巴赫迈尔；哈拉尔德·甘辛格；乌韦·沃尔德曼 37 1994 等式推理、规范证明和证明顺序。 Zbl 0806.68095号 利奥·巴赫迈尔；纳鸿·德肖维茨 19 1994 Buchberger算法：一种基于约束的完成过程。 Zbl 1495.68249号 利奥·巴赫迈尔；哈拉尔德·甘辛格 4 1994 总订单的有序链接。 Zbl 1433.68528号 利奥·巴赫迈尔；哈拉尔德·甘辛格 1 1994 叠加与简化作为一元类的决策过程，具有相等性。 Zbl 0793.68127号 利奥·巴赫迈尔；哈拉尔德·甘辛格；乌韦·沃尔德曼 35 1993 联想-交换歧视网。 Zbl 1497.68237号 利奥·巴赫迈尔；陈、塔；罗马克里希南，I.V。 6 1993 基本的副调制和叠加。 Zbl 0925.03052号 利奥·巴赫迈尔；哈拉尔德·甘辛格；克里斯托弗·林奇；韦恩·斯奈德 24 1992 结合交换归约序。 Zbl 0759.68043号 利奥·巴赫迈尔 8 1992 使用选择和冗余标准进行非子句解析和叠加。 Zbl 0925.03063号 利奥·巴赫迈尔；哈拉尔德·甘辛格 7 1992 层次一阶理论的定理证明。 Zbl 0925.03074号 Leo巴赫迈尔；哈拉尔德·甘辛格；乌韦·沃尔德曼 三 1992 规范方程证明。 Zbl 0732.68094号 利奥·巴赫迈尔 36 1991 通过严格叠加，完成一阶等式条款。 Zbl 1507.03068号 利奥·巴赫迈尔；哈拉尔德·甘辛格 11 1991 关于有序副调性的简化限制。 Zbl 1509.03040号 利奥·巴赫迈尔；哈拉尔德·甘辛格 17 1990 重写模同余的完成。 Zbl 0686.68021号 利奥·巴赫迈尔；纳鸿·德肖维茨 24 1989 证明分辨率和副调制的规范化。 Zbl 1503.03015号 利奥·巴赫迈尔 5 1989 完成的关键配对标准。 Zbl 0651.68030号 利奥·巴赫迈尔；纳鸿·德肖维茨 22 1988 重写模同余的完成。 Zbl 0659.68114号 利奥·巴赫迈尔；纳鸿·德肖维茨 15 1987 交换、转换和终止。 Zbl 0642.68036号 利奥·巴赫迈尔；纳鸿·德肖维茨 36 1986 关联交换重写系统的终止次序。 Zbl 0587.68041号 利奥·巴赫迈尔；普莱斯特德，大卫·A。 29 1985 关联路径排序。 Zbl 0576.68015号 利奥·巴赫迈尔；普莱斯特德，大卫·A。 5 1985 Gröbner基的特征化定理的一个简化证明。 Zbl 0454.68021号 巴赫迈尔。；巴赫伯格，B。 6 1980 所有引用的出版物 前5名被引用出版物 全部的 前5名443位作者引用 28 克里斯托夫·韦登巴赫 19 贾斯敏·克里斯蒂安·布兰切特 17 乌韦·沃尔德曼 16 纳鸿·德肖维茨 15 玛丽亚·保拉（Maria Paola Bonacina） 14 索菲·托雷特 11 哈拉尔德·甘辛格 11 罗伯特·纽文胡斯 11 尼古拉斯·佩尔蒂埃 10 佩塔·武克米罗维奇 9 彼得·鲍姆加特纳 9 乌尔里希·赫斯塔特 9 阿尔特·米德尔多普 9 雷娜特·施密特（Renate A.Schmidt）。 9 安德烈·沃伦科夫 8 利奥·巴赫迈尔 8 亚历山大·本特坎普 8 迪帕克·卡普尔 8 何塞·梅塞盖尔·瓜伊塔 8 马丁·苏达 8 莎拉·温克勒 6 赫莱内·基什内尔 6 鲍里斯·莫提克 6 维奥里卡Sofrone-Stokkerman 6 塞萨尔·蒂内利 5 莱因哈德·邦根 5 克莱尔·狄克逊 5 穆纳乔·埃切宁 5 让·古鲍特·拉雷克 5 Jieh乡 5 Jean-Pierre Jouannaud 5 克洛德·基什内尔 5 康斯坦丁·科洛文 5 马丁·奥列特，纳西索 5 劳伦斯·查尔斯·保尔森 5 贾尔斯·里格尔 5 阿尔伯特·鲁比奥 5 米歇尔·鲁西诺维奇 5 韦恩·斯奈德 5 乔治·斯特鲁斯 4 马丁·布隆伯格 4 西蒙·克鲁恩斯 4 西尔维奥·吉拉尔迪 4 杜珊·格勒 4 托马斯·希伦布兰德 4 马提亚斯·霍巴赫 4 伊恩·霍洛克斯 4 科瓦奇，劳拉·伊尔迪科 4 普莱斯特德，大卫·艾伦 4 美国雷迪。 4 克里斯托夫·林盖森 4 斯蒂芬·舒尔茨 4 于尔根·斯图伯 4 杰夫·萨特克利夫 4 汉斯·赞特马 三 贝扎德·阿克巴普尔 三 Franz巴德 三 彼得·贝克曼 三 纪尧姆·伯勒 三 迭戈·卡尔瓦内斯 三 莱昂纳多·德·莫拉 三 汉斯·德·尼维尔 三 安纳托利·伊万诺维奇·德吉亚列夫 三 安德烈·杜阿尔特 三 马蒂亚斯·弗勒里 三 帕斯卡·方丹 三 伯恩哈德·格拉姆利希 三 雷纳·哈内尔 三 法贾尔·海法尼 三 Nao Hirokawa 三 叶夫根尼·哈萨克夫 三 扬·威廉·克鲁普 三 叶夫根·克鲁格洛夫（Evgeni Kruglov）ĭ瓦伦蒂诺维奇（Valentinovich） 三 栗原、Masahito 三 皮埃尔·莱斯坎 三 林奇，Christopher A。 三 克劳德·马奇 三 巴利亚特·纳伦德兰 三 Nummelin，维萨卡 三 西尔维奥·兰伊斯 三 菲利普·吕默 三 约阿希姆·斯坦巴赫 三 塔内尔·塔米特 三 阿什什·库马尔·蒂瓦里 三 德坎·特兰 三 阿尔贝托·维尔德乔 三 劳伦·维格纳龙 三 张，兰 2 阿南塔拉曼，湿婆 2 尤尔根阿文豪斯 2 哈尼尔·巴博萨 2 克拉克·W·巴雷特。 2 David A.Basin。 2 克里斯托夫·埃瓦尔德·本兹穆勒 2 奥拉夫·拜尔斯多夫 2 艾哈迈德·巴亚特 2 Böhme，萨沙 2 弗朗索瓦·布隆萨德 2 里卡多·卡费拉 2 勒罗伊·周 …还有343位作者 全部的 前5名41篇连载文章中引用 56 自动推理杂志 31 理论计算机科学 28 符号计算杂志 15 信息与计算 8 信息处理信件 6 数学与人工智能年鉴 5 人工智能 5 逻辑与代数程序设计杂志 5 计算机科学中的逻辑方法 4 模糊集与系统 4 工程、通信和计算中的应用代数 4 应用逻辑杂志 三 信息科学 三 MSCS公司。计算机科学中的数学结构 2 信息学报 2 纯粹与应用代数杂志 2 纯逻辑与应用逻辑年鉴 2 计算机科学与技术杂志 2 人工智能通信 2 逻辑程序设计理论与实践 2 ACM计算逻辑事务 2 计算机科学中的数学 1 计算机与数学及其应用 1 离散应用数学 1 比特币 1 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 1 代数杂志 1 合成 1 国际近似推理杂志 1 计算的形式方面 1 Indagationes Mathematicae公司。新系列 1 系统设计中的形式化方法 1 逻辑、语言与信息杂志 1 应用非经典逻辑杂志 1 软计算 1 美国医学会杂志 1 RAIRO公司。理论信息学及其应用 1 洛巴切夫斯基数学杂志 1 系统科学与复杂性杂志 1 程序设计中的逻辑和代数方法杂志 1 伦敦皇家学会哲学学报。A.数学、物理和工程科学 全部的 前5名21个领域被引用 388 计算机科学（68至XX） 207 数理逻辑与基础（03-XX） 8 交换代数（13-XX） 6 群论与推广（20-XX） 6 信息与通信理论、电路（94-XX） 5 阶、格、有序代数结构（06-XX） 5 一般代数系统（08-XX） 5 范畴理论；同调代数（18-XX） 三 历史和传记（01-XX） 2 场论与多项式（12-XX） 2 结合环与代数（16-XX） 2 一般拓扑结构（54至XX） 2 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 1 总体主题；集合（00-XX） 1 组合数学（05-XX） 1 代数几何（14-XX） 1 非结合环和代数（17-XX） 1 数值分析（65-XX） 1 量子理论（81-XX） 1 运筹学、数学规划（90-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文