编辑配置文件(在新选项卡中打开) 伊莎贝·格尼迪格 合著者距离 作者ID: 格纳迪格·伊莎贝尔 发布日期: 伊莎贝·格尼迪格;格奈迪格,I。 外部链接: MGP公司 已编制索引的文档: 12出版物自1986年起 合著者: 4位合著者具有10联合出版物 118位合作作者 合著者 2 单作者的 9 赫莱内·基什内尔 三 奥利维尔·菲索 2 克洛德·基什内尔 1 皮埃尔·莱斯坎 系列 2 理论计算机科学 1 欧洲理论计算机科学协会(EATCS)公报 1 ACM计算逻辑事务 领域 12 计算机科学(68至XX) 2 一般代数系统(08-XX) 1 数理逻辑与基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 10出版物有被引用55中的次44文件 引用人▼ 年份▼ 有序代数中的等式完备。 Zbl 0647.68036号 伊莎贝·格尼迪格;克洛德·基什内尔;赫莱内·基什内尔 10 1988 根据策略终止重写。 Zbl 1351.68129号 伊莎贝·格尼迪格;赫莱内·基什内尔 10 2009 使用本地策略进行终止诱导。 Zbl 1268.68146号 奥利维尔·菲索;伊莎贝尔·格内迪格;赫莱内·基什内尔 9 2001 有序代数中的等式完备。 兹比尔0698.68028 伊莎贝·格尼迪格;克洛德·基什内尔;赫莱内·基什内尔 8 1990 通过重写证明了关联交换重写系统的终止性。 Zbl 0642.68037号 伊莎贝·格尼迪格;皮埃尔·莱斯坎 8 1986 证明归约关系性质的狭义化、抽象化和约束。 Zbl 1186.68236号 伊莎贝·格尼迪格;赫莱内·基什内尔 三 2007 证明重写的弱性质。 Zbl 1234.68178号 伊莎贝·格尼迪格;赫莱内·基什内尔 2 2011 ELAN战略证明下的终止和正常化。 Zbl 0962.68082号 海伦·基什内尔;伊莎贝·格尼迪格 2 2000 最外面的接地终端。 Zbl 1272.68181号 奥利维尔·菲索;伊莎贝·格尼迪格;赫莱内·基什内尔 2 2004 弱终止的证明提供了正确的终止方式。 Zbl 1108.68500元 奥利维尔·菲索;伊莎贝·格尼迪格;赫莱内·基什内尔 1 2005 证明重写的弱性质。 Zbl 1234.68178号 伊莎贝·格尼迪格;赫莱内·基什内尔 2 2011 根据策略终止重写。 兹比尔1351.68129 伊莎贝·格尼迪格;赫莱内·基什内尔 10 2009 证明归约关系性质的狭义化、抽象化和约束。 Zbl 1186.68236号 伊莎贝·格尼迪格;赫莱内·基什内尔 三 2007 弱终止的证明提供了正确的终止方式。 Zbl 1108.68500元 奥利维尔·菲索;伊莎贝·格尼迪格;Hélène基什内尔 1 2005 最外面的接地终端。 Zbl 1272.68181号 奥利维尔·菲索;伊莎贝·格尼迪格;赫莱内·基什内尔 2 2004 使用本地策略进行终止诱导。 Zbl 1268.68146号 奥利维尔·菲索;伊莎贝·格尼迪格;赫莱内·基什内尔 9 2001 ELAN战略证明下的终止和正常化。 Zbl 0962.68082号 海伦·基什内尔;伊莎贝·格尼迪格 2 2000 有序代数中的等式完备。 Zbl 0698.68028号 伊莎贝·格尼迪格;克洛德·基什内尔;赫莱内·基什内尔 8 1990 有序代数中的等式完备。 Zbl 0647.68036号 伊莎贝·格尼迪格;克洛德·基什内尔;赫莱内·基什内尔 10 1988 通过重写证明了关联交换重写系统的终止性。 Zbl 0642.68037号 伊莎贝尔·格内迪格;皮埃尔·莱斯坎 8 1986 所有引用出版物 前5名被引用出版物 全部的 前5名53位作者引用 9 Hélène基什内尔 7 何塞·梅塞盖尔·瓜伊塔 5 伊莎贝·格尼迪格 4 克洛德·基什内尔 三 汉斯·赞特马 2 纳鸿·德肖维茨 2 奥利维尔·菲索 2 卡斯滕·福斯 2 于尔根·吉斯尔 2 萨尔瓦多卢卡斯 2 马丁·奥列特,纳西索 2 分手,迈克尔 2 阿尔伯特·鲁比奥 2 彼得·施奈德·坎普 2 约阿希姆·斯坦巴赫 2 斯威德斯基,斯蒂芬 2 乌韦·沃尔德曼 1 路易斯·安东尼奥·阿吉雷 1 玛丽亚·阿尔普特 1 高仁青藤 1 彼得·博罗万斯克 1 阿黛尔·布胡拉 1 杰里米·道森。 1 埃里克·多曼纽德 1 弗朗西斯科·杜兰 1 圣地亚哥埃斯科瓦尔 1 威廉·扬·福克金 1 哈拉尔德·甘辛格 1 拉杰夫·普拉巴卡尔·戈尔 1 乔·亨德里克斯 1 米基·赫尔曼 1 托马斯·希伦布兰德 1 Hintermeier,克劳斯 1 Jean-Pierre Jouannaud 1 肯塔罗州菊池 1 特穆尔库西亚 1 皮埃尔·莱斯坎 1 马林·米尔恰 1 皮埃尔·艾蒂安·莫罗 1 罗伯特·纽文胡斯 1 直纪西田 1 米盖尔·帕洛米诺 1 鲁齐卡皮斯卡 1 伊莎贝尔·皮塔 1 拉斐尔西珀,马提亚斯 1 Tomoki Shiraishi 1 斯蒂芬·斯凯里克 1 雷内·蒂曼 1 泽维尔·乌尔班 1 德国维达尔 1 克里斯托夫·韦登巴赫 1 与,拉尔斯 1 Junnosuke山田 全部的 前5名8篇连载文章中引用 11 理论计算机科学 三 自动推理杂志 2 符号计算杂志 2 逻辑与代数程序设计杂志 1 信息与计算 1 计算的形式方面 1 国际计算机科学基础杂志 1 程序设计中的逻辑和代数方法杂志 在3个字段中引用 44 计算机科学(68至XX) 12 数理逻辑与基础(03-XX) 1 一般代数系统(08-XX) 按年份列出的引文