编辑配置文件（在新选项卡中打开） 伯恩哈德·格拉姆利希 合著者距离 作者ID： 格拉姆利希·伯恩哈特 发布日期： 伯恩哈德·格拉姆利希；格拉姆利希，B。；伯恩达尔·格拉姆利希 更多。。。较少的 外部链接： MGP公司 已编制索引的文档： 32出版物自1988年起 6作为编辑的贡献 合著者： 15位合著者具有23联合出版物 261合著作者 全部的 前5名合著者 15 单作者的 6 萨尔瓦多卢卡斯 4 费利克斯·舍恩哈默 4 克劳斯·皮特·沃思 三 玛丽亚·阿尔普特 三 卡尔·格梅纳 2 圣地亚哥埃斯科瓦尔 2 阿尔特·米德尔多普 1 尤尔根阿文豪斯 1 鲍拉·博纳西纳 1 尤根·吉雷什 1 克劳斯·马德勒（Klaus E.Madlener）。 1 戴尔·艾伦·米勒 1 莱因哈德·皮克勒 1 乌利·萨特勒 1 艾丽西亚·维拉纽埃娃 全部的 前5名系列 4 理论计算机科学 4 理论计算机科学电子笔记 2 工程、通信和计算中的应用代数 2 计算机科学课堂讲稿 1 《社会数学年鉴》（Annales Societatis Mathematicae Polonae）。系列IV 1 符号计算杂志 1 欧洲理论计算机科学协会（EATCS）公报 1 逻辑与代数程序设计杂志 领域 37 计算机科学（68至XX） 6 总体主题；集合（00-XX） 5 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 28出版物有被引用169中的次116文件 引用人▼ 年份▼ 重写模终止的广义充分条件。 Zbl 0810.68085号 伯恩哈德·格拉姆利希 26 1994 重写系统的限制终止和合流性质之间的抽象关系。 Zbl 0839.68047号 伯恩哈德·格拉姆利希 18 1995 关于不相交和构造函数共享条件重写系统的终止和汇合性质。 Zbl 0872.68081号 伯恩哈德·格拉姆利希 13 1996 简单的终止是困难的。 Zbl 0815.68064号 阿尔特·米德尔多普；伯恩哈德·格拉姆利希 12 1995 有关术语重写系统的最内层、弱、一致和模块化终止。 Zbl 0925.68269号 伯恩达尔·格拉姆利希 11 1992 描述并证明确定性条件项重写系统的操作终止性。 Zbl 1206.68163号 费利克斯·舍恩哈默；伯恩哈德·格拉姆利希 10 2010 通过并行关键对汇流而不终止。 兹比尔1508.68156 伯恩哈德·格拉姆利希 9 1996 重写模终止的广义充分条件。 Zbl 0925.68263号 伯恩哈德·格拉姆利希 7 1992 条件项重写系统模终止的充分条件。 Zbl 1508.68157号 伯恩哈德·格拉姆利希 6 1993 再次讨论了延迟重写的终止。 Zbl 1279.68120号 费利克斯·舍恩哈默；伯恩哈德·格拉姆利希 5 2008 通过最里面的终止证明终止。 Zbl 1503.68112号 伯恩哈德·格拉姆利希 5 1996 重新审视术语重写中的模块化。 兹比尔1253.68196 伯恩哈德·格拉姆利希 4 2012 关于一阶等式分句的归纳有效性概念。 Zbl 1437.03050号 克劳斯·皮特·沃思；伯恩哈德·格拉姆利希 4 1994 改进按需策略注释。 Zbl 1023.03530号 Alpunte，M。；埃斯科瓦尔，S。；格拉姆利希，B。；卢卡斯，S。 4 2002 基于构造函数的正/负条件方程规范方法。 Zbl 0821.68083号 克劳斯·皮特·沃思；伯恩哈德·格拉姆利希 三 1994 推广左线性重写系统的Newman引理。 Zbl 1151.68445号 伯恩哈德·格拉姆利希；萨尔瓦多卢卡斯 三 2006 条件重写系统的终止和合流特性的模块化。 Zbl 0988.68558号 格拉姆利希，B。 三 1994 重新审视条件重写系统的转换。 Zbl 1253.68195号 卡尔·格梅纳；伯恩哈德·格拉姆利希 三 2009 重新审视按需策略注释：改进的按需评估策略。 Zbl 1186.68092号 Alpunte，M。；埃斯科瓦尔，S。；格拉姆利希，B。；卢卡斯，S。 三 2010 关于半完全术语重写系统的相互作用。 Zbl 0974.68079号 格拉姆利希，B。 三 2001 关于（非）解开的合理性。 Zbl 1236.68130号 卡尔·格梅纳；伯恩哈德·格拉姆利希；费利克斯·舍恩哈默 三 2010 带有外部函数的定时并发约束编程框架。 Zbl 1278.68066号 Alpunte，M。；格拉姆利希，B。；维拉努埃瓦。 三 2007 基于构造函数的正/负条件方程规范方法。 Zbl 1508.68231号 克劳斯·皮特·沃思；伯恩哈德·格拉姆利希 三 1993 TRSPEC：基于术语重写的代数规范系统。 Zbl 0667.68032号 J·阿文豪斯。；Göbel，R。；格拉姆利希，B。；马德勒，K。；J.斯坦巴赫。 2 1988 UNICOM：一个基于完善的归纳定理证明器。 Zbl 1509.68306号 伯恩哈德·格拉姆利希 2 1990 关于解确定性条件重写系统的稳健性条件。 Zbl 1437.68081号 卡尔·格梅纳；伯恩哈德·格拉姆利希；费利克斯·舍恩哈默 2 2012 组合系统的前沿。第五届国际研讨会，FroCos 2005，奥地利维也纳，2005年9月19-21日。诉讼程序。 Zbl 1089.68010号 1 2005 自动推理。2012年6月26日至29日在英国曼彻斯特举行的第六届国际联合会议，IJCAR 2012。诉讼程序。 Zbl 1245.68010号 1 2012 重新审视术语重写中的模块化。 Zbl 1253.68196号 伯恩哈德·格拉姆利希 4 2012 关于解确定性条件重写系统的稳健性条件。 Zbl 1437.68081号 卡尔·格梅纳；伯恩哈德·格拉姆利希；费利克斯·舍恩哈默 2 2012 自动推理。2012年6月26日至29日在英国曼彻斯特举行的第六届国际联合会议，IJCAR 2012。诉讼程序。 Zbl 1245.68010号 1 2012 描述并证明确定性条件项重写系统的操作终止性。 Zbl 1206.68163号 费利克斯·舍恩哈默；伯恩哈德·格拉姆利希 10 2010 重新审视按需策略注释：改进的按需评估策略。 Zbl 1186.68092号 Alpunte，M。；埃斯科瓦尔，S。；格拉姆利希，B。；卢卡斯，S。 三 2010 关于（非）解开的合理性。 Zbl 1236.68130号 卡尔·格梅纳；伯恩哈德·格拉姆利希；费利克斯·舍恩哈默 三 2010 重新审视条件重写系统的转换。 Zbl 1253.68195号 卡尔·格梅纳；伯恩哈德·格拉姆利希 三 2009 再次讨论了延迟重写的终止。 Zbl 1279.68120号 费利克斯·舍恩哈默；伯恩哈德·格拉姆利希 5 2008 带有外部函数的定时并发约束编程框架。 兹比尔1278.68066 Alpunte，M。；格拉姆利希，B。；维拉努埃瓦。 三 2007 推广左线性重写系统的Newman引理。 Zbl 1151.68445号 伯恩哈德·格拉姆利希；萨尔瓦多卢卡斯 三 2006 组合系统的前沿。第五届国际研讨会，FroCos 2005，奥地利维也纳，2005年9月19-21日。诉讼程序。 Zbl 1089.68010号 1 2005 改进按需策略注释。 Zbl 1023.03530号 Alpunte，M。；埃斯科瓦尔，S。；格拉姆利希，B。；卢卡斯，S。 4 2002 关于半完备项重写系统的相互关系。 Zbl 0974.68079号 格拉姆利希，B。 三 2001 关于不相交和构造函数共享条件重写系统的终止和合流性质。 Zbl 0872.68081号 伯恩哈德·格拉姆利希 13 1996 通过并联临界对进行汇流而不终止。 Zbl 1508.68156号 伯恩哈德·格拉姆利希 9 1996 通过最里面的终止证明终止。 Zbl 1503.68112号 伯恩哈德·格拉姆利希 5 1996 重写系统的限制终止和合流性质之间的抽象关系。 Zbl 0839.68047号 伯恩哈德·格拉姆利希 18 1995 简单的终止是困难的。 Zbl 0815.68064号 阿尔特·米德尔多普；伯恩哈德·格拉姆利希 12 1995 重写模终止的广义充分条件。 Zbl 0810.68085号 伯恩哈德·格拉姆利希 26 1994 关于一阶等式分句的归纳有效性概念。 Zbl 1437.03050号 克劳斯·彼得，沃思；伯恩哈德·格拉姆利希 4 1994 基于构造函数的正/负条件方程规范方法。 Zbl 0821.68083号 克劳斯·皮特·沃思；伯恩哈德·格拉姆利希 三 1994 条件重写系统的终止和合流特性的模块化。 Zbl 0988.68558号 格拉姆利希，B。 三 1994 条件项重写系统模终止的充分条件。 Zbl 1508.68157号 伯恩哈德·格拉姆利希 6 1993 基于构造函数的正/负条件方程规范方法。 Zbl 1508.68231号 克劳斯·皮特·沃思；伯恩哈德·格拉姆利希 三 1993 有关术语重写系统的最内层、弱、一致和模块化终止。 Zbl 0925.68269号 伯恩达尔·格拉姆利希 11 1992 重写模终止的广义充分条件。 Zbl 0925.68263号 伯恩哈德·格拉姆利希 7 1992 UNICOM：一个基于完善的归纳定理证明器。 Zbl 1509.68306号 伯恩哈德·格拉姆利希 2 1990 TRSPEC：基于术语重写的代数规范系统。 Zbl 0667.68032号 J·阿文豪斯。；Göbel，R。；格拉姆利希，B。；马德勒，K。；J.斯坦巴赫。 2 1988 所有引用的出版物 前5名被引用出版物 全部的 前5名122位作者引用 15 伯恩哈德·格拉姆利希 14 阿尔特·米德尔多普 10 萨尔瓦多卢卡斯 7 Nao Hirokawa 6 埃诺·奥勒布什 5 拉奥·M·R·K·克里希纳 5 Masahiko酒井 5 克劳斯·皮特·沃思 4 玛丽亚·阿尔普特 4 劳尔·古铁雷斯 4 何塞·梅塞盖尔·瓜伊塔 4 汉斯·赞特马 三 纳鸿·德肖维茨 三 吉尔根·吉斯尔 三 卡尔·格梅纳 三 马西莫·马尔奇奥里 三 直纪西田 三 小川，水井裕人 三 彼得·施奈德·坎普 三 雷内·蒂曼 三 泽维尔·乌尔班 三 文森特·范·奥斯特罗姆 2 高仁青藤 2 弗雷德里克·布兰基 2 弗朗索瓦·布隆萨德 2 约尔格恩德鲁利斯 2 圣地亚哥埃斯科瓦尔 2 卡斯滕·福斯 2 阿尔芬斯·盖瑟 2 罗伯特·哈斯克（Robert W.Hasker）。 2 查尔斯·霍特 2 苏拉布·O·卡西达什维利。 2 克洛德·基什内尔 2 赫莱内·基什内尔 2 Kop，辛西娅 2 埃尔维·勒弗格 2 密歇根州Oyamaguchi 2 美国雷迪。 2 Yannick Saouter 2 费利克斯·舍恩哈默 2 富山，吉藤义彦 2 莎拉·温克勒 2 哈拉尔赞克尔 1 阿伦斯，贝内迪克特 1 阿勒科恩，比阿特丽兹 1 尼里娜·安德里亚纳里韦洛 1 艺术，托马斯 1 黛米斯·巴利斯 1 克劳斯·W·贝克尔。 1 彼得·博罗万斯克 1 阿黛尔·布胡拉 1 卡隆、安妮·塞西尔 1 科恩·克莱森 1 Jean-Luc Coquidé 1 科雷亚，弗朗西斯科·何塞 1 安吉尔·昆卡-奥尔特加 1 莫雷诺，法拉斯基 1 斯蒂芬·福克 1 伯特伦·费尔根豪尔 1 米尔塔·利纳·费尔南德斯 1 罗马人加尔巴夫 1 简·赫尔曼·杰弗斯 1 加泰，大卫 1 伊莎贝·格尼迪格 1 马科托·哈马纳 1 迪米特里·亨德里克斯 1 米基·赫尔曼 1 安德烈·赫肖维茨 1 霍恩，马克斯 1 艾达、铁雄 1 早坂石冢 1 Jean-Pierre Jouannaud 1 塞萨里·卡利西克 1 肯塔罗州菊池 1 扬·威廉·克鲁普 1 拉尔夫·科尔 1 栗原、Masahito 1 安布罗斯·拉丰 1 皮埃尔·莱斯坎 1 安·利利斯特罗姆 1 马可·马格西 1 克劳德·马奇 1 乌苏拉·马丁 1 皮埃尔·埃蒂安·莫罗 1 Masanori长岛 1 Takashi Nagaya 1 尤根·吉斯托马斯·阿塞诺·奥勒布什 1 阿祖玛·大内 1 卡洛斯·奥拉特 1 斯文·埃里克·帕尼茨 1 分手，迈克尔 1 克里斯蒂安·普雷霍弗 1 皮埃尔·雷蒂 1 科林·里巴 1 克里斯托夫·林盖森 1 阿尔伯特·鲁比奥 1 卡米洛·鲁埃达 1 坂部俊彦 1 曼弗雷德·施密特·沙乌 1 保拉·加布里埃拉·塞维利 …还有22位作者 全部的 前5名14篇连载文章中引用 28 理论计算机科学 10 信息与计算 9 自动推理杂志 7 信息处理信件 5 符号计算杂志 4 程序设计中的逻辑和代数方法杂志 三 工程、通信和计算中的应用代数 三 计算机科学中的逻辑方法 2 逻辑与代数程序设计杂志 1 国际计算机科学基础杂志 1 数学与人工智能年鉴 1 约束条件 1 群论杂志 1 计算机基础理论 全部的 前5名在7个字段中引用 112 计算机科学（68至XX） 18 数学逻辑和基础（03-XX） 2 范畴理论；同调代数（18-XX） 1 群论与推广（20-XX） 1 动力系统和遍历理论（37至XX） 1 几何图形（51至XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文