编辑配置文件(在新选项卡中打开) 吉勒姆·戈多伊 合著者距离 作者ID: 戈多伊·居勒姆 发布日期: 吉勒姆·戈多伊 编入索引的文档: 40出版物自2000年起 合著者: 21位合著者具有39联合出版物 305位联合作者 全部的 前5名合著者 1 单作者的 12 阿什什·库马尔·蒂瓦里 10 卡莱斯·克鲁斯 8 阿德里亚·加斯科恩 5 罗伯特·尼乌文豪斯 4 兰德·拉莫斯 4 阿尔伯特·鲁比奥 三 米克尔波菲尔 三 奥马尔·吉梅内斯 三 爱德华·亨廷福德 三 佛罗伦萨·杰克马尔 三 曼弗雷德·施密特·沙乌 三 Rakesh M.维尔玛。 2 路易斯·巴尔古诺 2 米尔塔·利纳·费尔南德斯 2 塞巴斯蒂安·马内思 2 苏菲·蒂森 1 卡梅·阿勒瓦雷斯 1 保罗·费尔南德斯 1 雨果·埃尔南德斯 1 弗朗西斯科·马萨内斯 1 瓦彻,卡米尔 全部的 前5名系列 三 自动推理杂志 三 工程、通信和计算中的应用代数 2 SIAM计算机杂志 2 符号计算杂志 2 ACM计算逻辑汇刊 2 计算机科学中的逻辑方法 1 信息处理信件 1 纯逻辑与应用逻辑年鉴 1 约束条件 1 美国医学会杂志 领域 40 计算机科学(68至XX) 8 数学逻辑和基础(03-XX) 1 一般代数系统(08-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 32出版物有被引用116中的次64文件 引用人▼ 年份▼ 浅层右线性重写系统的汇合。 Zbl 1136.68411号 吉勒姆·戈多伊;阿什什·蒂瓦里 11 2005 关于线性浅项重写系统的汇流。 Zbl 1035.68058号 吉勒姆·戈多伊;阿什什·蒂瓦里;拉凯什·维尔玛 8 2003 混合局部和全局约束模平面理论的树自动机的可判定类。 Zbl 1278.68130号 路易斯·巴尔古诺;卡莱斯·克鲁斯;吉勒姆·戈多伊;佛罗伦萨·杰克马尔;瓦彻,卡米尔 8 2013 压缩术语的统一和匹配。 兹比尔1351.68128 加斯康,阿德里亚;吉勒姆·戈多伊;曼弗雷德·施密特·肖斯 8 2011 HOM问题是可以决定的。 Zbl 1281.68145号 吉勒姆·戈多伊;奥马尔·吉梅内斯 7 2013 使用right-flat规则终止重写。 Zbl 1203.68074号 吉勒姆·戈多伊;爱德华·亨廷福德;阿什什·蒂瓦里 6 2007 HOM问题是可以决定的。 Zbl 1293.68186号 吉勒姆·戈多伊;奥马尔·吉梅内斯;兰德·拉莫斯;卡梅·阿勒瓦雷斯 6 2010 关于术语重写系统的归一化和唯一归一化性质。 Zbl 1213.68348号 吉勒姆·戈多伊;苏菲·蒂森 5 2007 与完全内置阿贝尔群的叠加。 Zbl 1043.03011号 吉勒姆·戈多伊;罗伯特·尼乌文豪斯 4 2004 HOM问题是EXPTIME-complete。 Zbl 1360.68551号 卡莱斯·克鲁斯;阿德里亚·加斯科恩;吉勒姆·戈多伊;兰德·拉莫斯 4 2012 对于浅项重写系统,内部最可达性和内部可接合性是可判定的。 Zbl 1203.68073号 吉勒姆·戈多伊;爱德华·亨廷福德 4 2007 多项式时间内某些项重写系统的合流判定。 Zbl 1072.68051号 吉勒姆·戈多伊;阿什什·蒂瓦里;拉凯什·维尔玛 4 2004 具有非全序和非单调序的Paramodulation和Knuth-Bendix完备。 Zbl 1027.03010号 米克尔波菲尔;吉勒姆·戈多伊;罗伯特·尼乌文豪斯;阿尔伯特·鲁比奥 三 2003 通过重写闭包和右基项重写系统表征汇流。 Zbl 1112.68078号 吉勒姆·戈多伊;阿什什·蒂瓦里;拉凯什·维尔玛 三 2004 通过重写闭包确定右(基或变量)重写系统的基本属性。 Zbl 1126.68566号 吉勒姆·戈多伊;阿什什·蒂瓦里 三 2004 浅层TRS的唯一归一化。 兹比尔1242.68133 吉勒姆·戈多伊;佛罗伦萨·杰克马尔 三 2009 平坦项重写系统的不可解释性质。 Zbl 1187.68274号 吉勒姆·戈多伊;雨果·埃尔南德斯 三 2009 用过程调用检查程序的不变量。 Zbl 1248.68143号 吉勒姆·戈多伊;阿什什·蒂瓦里 三 2009 使用浅右线性、折叠和右轮规则终止重写系统。 Zbl 1135.68448号 吉勒姆·戈多伊;阿什什·蒂瓦里 三 2005 一个与STG压缩项的上下文统一是在NP中。 Zbl 1437.68078号 卡莱斯·克鲁斯;阿德里亚·加斯科;吉勒姆·戈多伊 三 2012 最里面终端的订购。 Zbl 1078.68060号 米尔塔·利纳·费尔南德斯;吉勒姆·戈多伊;阿尔伯特·鲁比奥 2 2005 与一个上下文变量的上下文统一。 Zbl 1192.68431号 阿德里亚·加斯科恩;吉勒姆·戈多伊;曼弗雷德·施密特·沙乌;阿什什·蒂瓦里 2 2010 与单例树语法的统一。 Zbl 1242.68132号 阿德里亚·加斯科恩;吉勒姆·戈多伊;曼弗雷德·施密特·沙乌 2 2009 具有正则约束的一组项的实例集的正则性是EXPTIME-complete。 Zbl 1348.68060号 奥马尔·吉梅内斯;吉勒姆·戈多伊;塞巴斯蒂安·马内思 2 2011 树自动机语言在最内层重写下的闭包。 Zbl 1294.68103号 阿德里亚·加斯科恩;吉勒姆·戈多伊;佛罗伦萨·杰克马尔 2 2009 具有可判定保持正则性的树同态类。 Zbl 1139.68032号 吉勒姆·戈多伊;塞巴斯蒂安·马内思;苏菲·蒂森 1 2008 递归路径排序也可以是增量的。 Zbl 1143.68425号 米尔塔·利纳·费尔南德斯;吉勒姆·戈多伊;阿尔伯特·鲁比奥 1 2005 HOM问题是EXPTIME-complete。 Zbl 1348.68059号 卡莱斯·克鲁斯;阿德里亚·加斯科恩;吉勒姆·戈多伊;Ramos,兰德 1 2016 具有全局自反不定性约束的树自动机的空性和有限性。 Zbl 1314.68175号 卡莱斯·克鲁斯;阿德里亚·加斯科恩;吉勒姆·戈多伊 1 2013 一类具有多项式合流问题的项重写系统。 Zbl 1367.68132号 吉勒姆·戈多伊;罗伯特·尼乌文豪斯;阿什什·蒂瓦里 1 2004 非线性重写闭包和弱规范化。 兹伯利1314.68171 卡莱斯·克鲁斯;吉勒姆·戈多伊;弗朗西斯科·马萨内斯;阿什什·蒂瓦里 1 2013 关于副调制任意选择策略的完备性。 Zbl 0986.68122号 米克尔波菲尔;吉勒姆·戈多伊 1 2001 HOM问题是EXPTIME-complete。 Zbl 1348.68059号 卡莱斯·克鲁斯;阿德里亚·加斯科恩;吉勒姆·戈多伊;兰德·拉莫斯 1 2016 混合局部和全局约束模平面理论的树自动机的可判定类。 Zbl 1278.68130号 路易斯·巴尔古诺;卡莱斯·克鲁斯;吉勒姆·戈多伊;佛罗伦萨·杰克马尔;瓦彻,卡米尔 8 2013 HOM问题是可以决定的。 Zbl 1281.68145号 吉勒姆·戈多伊;奥马尔·吉梅内斯 7 2013 具有全局自反不定性约束的树自动机的空性和有限性。 Zbl 1314.68175号 卡莱斯·克鲁斯;阿德里亚·加斯科恩;吉勒姆·戈多伊 1 2013 非线性重写闭包和弱规范化。 Zbl 1314.68171号 卡莱斯·克鲁斯;吉勒姆·戈多伊;弗朗西斯科·马萨内斯;阿什什·蒂瓦里 1 2013 HOM问题是EXPTIME-complete。 Zbl 1360.68551号 卡莱斯·克鲁斯;阿德里亚·加斯科恩;吉勒姆·戈多伊;Ramos,兰德 4 2012 一个与STG压缩项的上下文统一是在NP中。 Zbl 1437.68078号 卡莱斯·克鲁斯;阿德里亚·加斯科;吉勒姆·戈多伊 三 2012 压缩术语的统一和匹配。 Zbl 1351.68128号 阿德里亚·加斯科恩;吉勒姆·戈多伊;Schmidt Schauss,曼弗雷德 8 2011 具有正则约束的一组项的实例集的正则性是EXPTIME-complete。 Zbl 1348.68060号 奥马尔·吉梅内斯;吉勒姆·戈多伊;塞巴斯蒂安·马内思 2 2011 HOM问题是可以决定的。 Zbl 1293.68186号 吉勒姆·戈多伊;奥马尔·吉梅内斯;兰德·拉莫斯;卡梅·阿勒瓦雷斯 6 2010 与一个上下文变量的上下文统一。 Zbl 1192.68431号 阿德里亚·加斯科恩;吉勒姆·戈多伊;曼弗雷德·施密特·沙乌;阿什什·蒂瓦里 2 2010 浅层TRS的唯一归一化。 Zbl 1242.68133号 吉勒姆·戈多伊;佛罗伦萨·杰克马尔 三 2009 扁平项重写系统的不确定性质。 Zbl 1187.68274号 吉勒姆·戈多伊;雨果·埃尔南德斯 三 2009 用过程调用检查程序的不变量。 Zbl 1248.68143号 吉勒姆·戈多伊;阿什什·蒂瓦里 三 2009 与单例树语法的统一。 Zbl 1242.68132号 阿德里亚·加斯科恩;吉勒姆·戈多伊;曼弗雷德·施密特·沙乌 2 2009 树自动机语言在最内层重写下的闭包。 Zbl 1294.68103号 阿德里亚·加斯科恩;吉勒姆·戈多伊;佛罗伦萨·杰克马尔 2 2009 具有可判定保持正则性的树同态类。 Zbl 1139.68032号 吉勒姆·戈多伊;塞巴斯蒂安·马内思;苏菲·蒂森 1 2008 使用right-flat规则终止重写。 兹比尔1203.68074 吉勒姆·戈多伊;爱德华·亨廷福德;阿什什·蒂瓦里 6 2007 关于术语重写系统的归一化和唯一归一化性质。 Zbl 1213.68348号 吉勒姆·戈多伊;苏菲·蒂森 5 2007 对于浅项重写系统,内部最可达性和内部可接合性是可判定的。 Zbl 1203.68073号 吉勒姆·戈多伊;爱德华·亨廷福德 4 2007 浅层右线性重写系统的汇合。 兹伯利1136.68411 吉勒姆·戈多伊;阿什什·蒂瓦里 11 2005 使用浅右线性、折叠和右轮规则终止重写系统。 Zbl 1135.68448号 吉勒姆·戈多伊;阿什什·蒂瓦里 三 2005 最里面终端的订购。 Zbl 1078.68060号 米尔塔·利纳·费尔南德斯;吉勒姆·戈多伊;阿尔伯特·鲁比奥 2 2005 递归路径排序也可以是增量的。 Zbl 1143.68425号 米尔塔·利纳·费尔南德斯;吉勒姆·戈多伊;阿尔伯特·鲁比奥 1 2005 与完全内置阿贝尔群的叠加。 Zbl 1043.03011号 吉勒姆·戈多伊;罗伯特·尼乌文豪斯 4 2004 多项式时间内某些项重写系统的合流判定。 Zbl 1072.68051号 吉勒姆·戈多伊;阿什什·蒂瓦里;拉凯什·维尔玛 4 2004 通过重写闭包和右基项重写系统表征汇流。 Zbl 1112.68078号 吉勒姆·戈多伊;阿什什·蒂瓦里;拉凯什·维尔玛 三 2004 通过重写闭包确定右(基或变量)重写系统的基本属性。 Zbl 1126.68566号 吉勒姆·戈多伊;阿什什·蒂瓦里 三 2004 一类具有多项式合流问题的项重写系统。 Zbl 1367.68132号 吉勒姆·戈多伊;罗伯特·尼乌文豪斯;阿什什·蒂瓦里 1 2004 关于线性浅项重写系统的汇流。 Zbl 1035.68058号 吉勒姆·戈多伊;阿什什·蒂瓦里;拉凯什·维尔玛 8 2003 具有非全序和非单调序的Paramodulation和Knuth-Bendix完备。 Zbl 1027.03010号 米克尔波菲尔;吉勒姆·戈多伊;罗伯特·尼乌文豪斯;阿尔伯特·鲁比奥 三 2003 关于副调制任意选择策略的完备性。 Zbl 0986.68122号 米克尔波菲尔;吉勒姆·戈多伊 1 2001 所有引用出版物 前5名被引用出版物 全部的 前5名101位作者引用 11 吉勒姆·戈多伊 6 曼弗雷德·施密特·沙乌 5 加斯康,阿德里亚 5 酒井正彦 4 卡莱斯·克鲁斯 4 马库斯·洛伊 4 安德烈亚·特奥多拉·纳什 4 Rakesh M.维尔玛。 三 佛罗伦萨·杰克马尔 三 安德烈亚斯·马莱蒂 三 赫尔穆特·塞德尔 三 阿什什·库马尔·蒂瓦里 2 托马斯·杰奈特 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 Besik Dundua 1 艾琳·杜兰德。 1 伯特伦·费尔根豪尔 1 亨宁费尔瑙 1 卡斯滕·福斯 1 皮埃尔·甘蒂 1 塞尔盖·加斯佩斯 1 劳雷·贡诺德 1 让·古鲍特·拉雷克 1 本杰明·格拉斯 1 海姆,皮尔雷·科里尔 1 雨果·埃尔南德斯 1 文森特·雨果特 1 拉杜·奥西夫 1 杰·阿图尔 1 Jean-Pierre Jouannaud 1 迪帕克·卡普尔 1 小岛,Yoshiharu 1 奥尔加·库什纳伦科 1 特穆尔库西亚 1 杰苏斯·拉瓦利 1 约尔迪·利维 1 亚历山大·洛赫曼 1 萨尔瓦多卢卡斯 1 米歇尔·路德维希 1 帕塔萨拉西马杜苏丹 1 米尔恰马林 1 弗朗西斯科·马萨内斯 1 乌芒·马图尔 1 费比安·米特沃纳 1 Luis F.T.Moraes。 1 恩里卡·尼科里尼 1 罗伯特·尼乌文豪斯 1 小山口,美雄 1 迈克尔·彼特 1 尼古拉斯·R·拉德克利夫。 1 西尔维奥·兰伊斯 1 贾尔斯·里格尔 1 卡尔·菲利普·雷 1 阿尔伯特·鲁比奥 1 米歇尔·鲁西诺维奇 1 大卫·萨贝尔 1 坂部俊彦 1 亚恩鲑鱼 1 安德斯·施利奇特克鲁尔 1 马库斯·施密德。 1 斯特凡·舒尔泽·弗里林豪斯 1 库尔特·西伯 1 苏菲·蒂森 1 富山,吉藤义彦 1 德坎·特兰 1 德米特里·特拉泰尔 1 Keita内山 1 马图·维拉雷特 1 马赫什·维斯瓦纳坦 1 安德烈·沃伦科夫 1 王毅 1 克里斯托夫·韦登巴赫 1 莱因哈德·威廉 1 莎拉·温克勒 1 吉田纯一 …还有1位作者 全部的 前5名16篇连载文章中引用 5 信息处理信件 5 自动推理杂志 4 计算机科学中的逻辑方法 三 工程、通信和计算中的应用代数 三 计算系统理论 2 信息与计算 2 计算机科学中的数学结构 2 程序设计中的逻辑和代数方法杂志 1 计算机与系统科学杂志 1 SIAM计算机杂志 1 纯逻辑与应用逻辑年鉴 1 符号计算杂志 1 国际计算机科学基础杂志 1 国际计算机数学杂志 1 计算机基础理论 1 ACM计算逻辑汇刊 在4个字段中引用 62 计算机科学(68至XX) 22 数学逻辑和基础(03-XX) 1 历史和传记(01-XX) 1 群论与推广(20-XX) 按年份列出的引文