编辑配置文件（在新选项卡中打开） 萨尔瓦多卢卡斯 合著者距离 作者ID： 卢卡斯·萨尔瓦多 发布日期： 萨尔瓦多卢卡斯;卢卡斯，S。 外部链接： ORCID公司·数据库许可证 已编制索引的文档： 78出版物自1996年起 4作为编辑的贡献 合著者： 28位合著者具有55联合出版物 443位合作作者 全部的 前5名合著者 27 单作者的 18 劳尔·古铁雷斯 17 何塞·梅塞盖尔·瓜伊塔 9 阿勒科恩，比阿特丽兹 9 玛丽亚·阿尔普特 7 圣地亚哥埃斯科瓦尔 6 伯恩哈德·格拉姆利希 5 迈克尔·哈纳斯 4 弗朗西斯科·杜兰 4 拉斐尔·纳瓦罗·马塞特 三 克里斯蒂娜·博拉莱拉斯 三 阿尔伯特·鲁比奥 2 莫雷诺，法拉斯基 2 卡斯滕·福斯 2 吉尔根·吉斯尔 2 克劳德·马奇 2 恩里克·罗德里格斯-卡博内尔 2 彼得·施奈德·坎普 2 泽维尔·乌尔班 2 德国维达尔 1 黛米斯·巴利斯 1 马可·科米尼 1 费边·埃姆斯 1 何塞·伊波拉 1 阿尔特·米德尔多普 1 阿尔伯特·奥利弗拉斯 1 卡斯滕·奥托 1 雷内·蒂曼 1 米盖尔·维托雷斯 全部的 前5名系列 6 信息处理信件 5 自动推理杂志 5 程序设计中的逻辑与代数方法杂志 4 信息与计算 4 理论计算机科学电子笔记 2 函数与逻辑程序设计杂志 2 逻辑程序设计理论与实践 1 人工智能 1 计算机与系统科学杂志 1 理论计算机科学 1 工程、通信和计算中的应用代数 1 高阶与符号计算 1 RAIRO公司。理论信息学及其应用 领域 82 计算机科学（68至XX） 13 数学逻辑和基础（03-XX） 4 总体主题；集合（00-XX） 1 历史与传记（01-XX） 1 场论和多项式（12-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 68出版物有被引用541中的次173文件 引用人▼ 年份▼ 函数和函数程序中的上下文敏感计算。 Zbl 0924.68106号 萨尔瓦多卢卡斯 43 1998 条件项重写系统的操作终止。 Zbl 1185.68374号 萨尔瓦多卢卡斯;克劳德·马奇;何塞·梅塞盖尔 38 2005 上下文敏感重写策略。 Zbl 1012.68095号 萨尔瓦多卢卡斯 34 2002 证明会员资格等同计划的操作终止。 Zbl 1192.68154号 弗朗西斯科·杜兰;萨尔瓦多卢卡斯;克劳德·马奇;何塞·梅塞盖尔;泽维尔·乌尔班 29 2008 MTT：Maude终端工具。（系统描述）。 兹比尔1165.68360 弗朗西斯科·杜兰;萨尔瓦多卢卡斯;何塞·梅塞盖尔 21 2008 终止证明中实域上的多项式：从理论到实践。 Zbl 1085.68076号 萨尔瓦多卢卡斯 17 2005 条件重写中的正规形式和正规理论。 Zbl 1356.68124号 萨尔瓦多卢卡斯;何塞·梅塞盖尔 15 2016 方程理论的终止模组合。 Zbl 1193.68145号 弗朗西斯科·杜兰;萨尔瓦多卢卡斯;何塞·梅塞盖尔 15 2009 用策略注释终止重写。 Zbl 1275.68084号 萨尔瓦多卢卡斯 14 2001 通过转换证明上下文敏感重写的终止。 Zbl 1171.68514号 萨尔瓦多卢卡斯 12 2006 基于所需缩小范围的功能逻辑程序的专业化。 Zbl 1092.68018号 玛丽亚·阿尔普特;萨尔瓦多卢卡斯;德国维达尔;迈克尔·哈纳斯 12 2005 用证明终止属性多项. Zbl 1308.68068号 阿勒科恩，比阿特丽兹;劳尔·古铁雷斯;萨尔瓦多卢卡斯;拉斐尔·纳瓦罗·马塞特 12 2011 会员资格均衡程序的操作终止：顺序排序方式。 兹比尔1347.68198 萨尔瓦多卢卡斯;何塞·梅塞盖尔 12 2009 递归路径顺序可以区分上下文。 Zbl 1072.68537号 克里斯蒂娜·博拉莱拉斯;萨尔瓦多卢卡斯;阿尔伯特·鲁比奥 11 2002 功能程序的抽象诊断。 Zbl 1278.68056号 玛丽亚·阿尔普特;马可·科米尼;圣地亚哥埃斯科瓦尔;莫雷诺，法拉斯基;萨尔瓦多卢卡斯 11 2003 顺序排序的一阶理论的逻辑模型的自动合成。 Zbl 1398.68095号 萨尔瓦多卢卡斯;劳尔·古铁雷斯 11 2018 强顺序和归纳顺序项重写系统。 Zbl 1339.68136号 迈克尔·哈纳斯;萨尔瓦多卢卡斯;阿尔特·米德尔多普 9 1998 用MU-TERM证明上下文相关重写的终止。 Zbl 1278.68113号 阿勒科恩，比阿特丽兹;劳尔·古铁雷斯;何塞·伊波拉;萨尔瓦多卢卡斯 9 2007 证明条件项重写系统终止性质的依赖对。 Zbl 1353.68155号 萨尔瓦多卢卡斯;何塞·梅塞盖尔 9 2017 上下文相关依赖项对。 兹比尔1177.68133 阿勒科恩，比阿特丽兹;劳尔·古铁雷斯;萨尔瓦多卢卡斯 9 2006 改进上下文敏感依赖项对。 Zbl 1182.68092号 阿勒科恩，比阿特丽兹;费边·埃姆斯;卡斯滕·福斯;吉尔根·吉斯尔;劳尔·古铁雷斯;萨尔瓦多卢卡斯;彼得·施奈德·坎普;雷内·蒂曼 8 2008 使用逻辑模型证明术语重写的不可行性。 Zbl 1477.68140号 萨尔瓦多卢卡斯;劳尔·古铁雷斯 8 2018 有理多项式阶的搜索技术。 Zbl 1166.68354号 卡斯滕·福斯;拉斐尔·纳瓦罗·马塞特;卡斯滕·奥托;吉尔根·吉斯尔;萨尔瓦多卢卡斯;彼得·施奈德·坎普 7 2008 求解多项式约束的SAT模线性算法。 Zbl 1243.68210号 克里斯蒂娜·博拉莱拉斯;萨尔瓦多卢卡斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔;阿尔伯特·鲁比奥 7 2012 上下文相关依赖项对。 Zbl 1206.68158号 阿勒科恩，比阿特丽兹;劳尔·古铁雷斯;萨尔瓦多卢卡斯 7 2010 通过SAT模线性算法求解非线性多项式算法。 Zbl 1250.68184号 克里斯蒂娜·博拉莱拉斯;萨尔瓦多卢卡斯;拉斐尔·纳瓦罗·马塞特;恩里克·罗德里格斯-卡博内尔;阿尔伯特·鲁比奥 7 2009 懒惰重写和上下文敏感重写。 Zbl 1268.68100号 萨尔瓦多卢卡斯 7 2002 终止（规范的）上下文相关重写。 Zbl 1045.68074号 萨尔瓦多卢卡斯 7 2002 证明上下文敏感重写终止的多项式。 Zbl 1126.68448号 萨尔瓦多卢卡斯 7 2004 条件重写系统的2D依赖项对框架。一： 定义和基本处理器。 Zbl 1393.68088号 萨尔瓦多卢卡斯;何塞·梅塞盖尔;劳尔·古铁雷斯 7 2018 用于（A\vee C\）终止的依赖项对框架。 兹比尔1306.68060 阿勒科恩，比阿特丽兹;萨尔瓦多卢卡斯;何塞·梅塞盖尔 7 2010 用于证明CTRS操作终止的2D依赖项对。 Zbl 1367.68145号 萨尔瓦多卢卡斯;何塞·梅塞格尔 6 2014 通过重写终止上下文相关重写。 Zbl 1046.68565号 萨尔瓦多卢卡斯 6 1996 在上下文相关依赖对框架中证明终止。 Zbl 1306.68072号 劳尔·古铁雷斯;萨尔瓦多卢卡斯 6 2010 使用AGES自动生成逻辑模型。 Zbl 07178982号 劳尔·古铁雷斯;萨尔瓦多卢卡斯 5 2019 通过转换证明基于重写的编程语言终止的方法。 Zbl 1337.68067号 弗朗西斯科·杜兰;萨尔瓦多卢卡斯;何塞·梅塞盖尔 5 2009 改进上下文相关依赖关系图。 Zbl 1278.68114号 阿勒科恩，比阿特丽兹;劳尔·古铁雷斯;萨尔瓦多卢卡斯 5 2007 证明语义属性为一阶可满足性。 Zbl 1478.68356号 萨尔瓦多卢卡斯 4 2019 使用依赖项对终止最内层上下文敏感重写。 兹比尔1148.68463 阿勒科恩，比阿特丽兹;萨尔瓦多卢卡斯 4 2007 扩展条件项重写系统的2D依赖对框架。 Zbl 1457.68136号 萨尔瓦多卢卡斯;何塞·梅塞盖尔;劳尔·古铁雷斯 4 2015 使用基础良好的关系证明操作终止。 Zbl 1468.03034号 萨尔瓦多卢卡斯 4 2020 关于重写终止证明中具有实系数、有理系数和整数系数的多项式的相对幂。 Zbl 1103.68061号 萨尔瓦多卢卡斯 4 2006 将基于重写的系统作为一阶理论进行分析。 Zbl 1508.68068号 萨尔瓦多卢卡斯 4 2018 改进按需策略注释。 Zbl 1023.03530号 Alpunte，M。;埃斯科瓦尔，S。;格拉姆利希，B。;卢卡斯，S。 4 2002 术语重写系统的无限重写语义。 Zbl 0981.68070号 萨尔瓦多卢卡斯 4 2001 自动删除多余参数。 Zbl 1112.68068号 Alpunte，M。;埃斯科瓦尔，S。;卢卡斯，S。 4 2007 自动证明和反驳可行性条件。 Zbl 07614688号 劳尔·古铁雷斯;萨尔瓦多卢卡斯 4 2020 多项：自动验证终止属性（系统描述）。 Zbl 07614689号 劳尔·古铁雷斯;萨尔瓦多卢卡斯 4 2020 归纳顺序功能逻辑程序的专业化。 Zbl 1345.68090号 玛丽亚·阿尔普特;迈克尔·哈纳斯;萨尔瓦多卢卡斯;德国维达尔 三 1999 推广左线性重写系统的Newman引理。 Zbl 1151.68445号 伯恩哈德·格拉姆利希;萨尔瓦多卢卡斯 三 2006 上下文敏感重写系统的可用规则。 Zbl 1145.68447号 劳尔·古铁雷斯;萨尔瓦多卢卡斯;泽维尔·乌尔班 三 2008 通用逻辑中的本地化操作终端。 Zbl 1453.68053号 萨尔瓦多卢卡斯;何塞·梅塞格尔 三 2015 顺序重写理论的强操作终止和弱操作终止。 Zbl 1367.68144号 萨尔瓦多卢卡斯;何塞·梅塞盖尔 三 2014 重新审视按需策略注释：改进的按需评估策略。 Zbl 1186.68092号 Alpunte，M。;埃斯科瓦尔，S。;格拉姆利希，B。;卢卡斯，S。 三 2010 正确完整的（积极的）战略注释OBJ公司. Zbl 1272.68071号 玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;萨尔瓦多卢卡斯 三 2004 上下文敏感重写的应用和扩展。 Zbl 1518.68157号 萨尔瓦多卢卡斯 三 2021 条件重写系统的2D依赖项对框架。二： 先进的处理器和实现技术。 Zbl 1459.68092号 萨尔瓦多卢卡斯;何塞·梅塞盖尔;劳尔·古铁雷斯 三 2020 根需要和近似需要。 Zbl 1339.68139号 萨尔瓦多卢卡斯 2 1998 使用逻辑模型证明通用逻辑中的操作终止。 Zbl 1367.68068号 萨尔瓦多卢卡斯 2 2016 在上下文敏感重写终止时在冻结位置调用函数。 Zbl 1321.68330号 劳尔·古铁雷斯;萨尔瓦多卢卡斯 2 2015 证明程序属性为一阶可满足性。 Zbl 1524.68094号 萨尔瓦多卢卡斯 2 2019 在术语重写中终止公正/公平计算。 Zbl 1146.68040号 萨尔瓦多卢卡斯;何塞·梅塞盖尔 1 2008 使用上下文敏感重写来证明重写的最内层终止。 Zbl 1337.68147号 阿勒科恩，比阿特丽兹;萨尔瓦多卢卡斯 1 2009 当今编程语言的策略。 Zbl 1272.68073号 萨尔瓦多卢卡斯 1 2005 上下文敏感重写的完整性。 Zbl 1302.68144号 萨尔瓦多卢卡斯 1 2015 基于窄域的函数逻辑语言的评估语义。 Zbl 0971.68097号 迈克尔·哈纳斯;萨尔瓦多卢卡斯 1 2001 使用基本解释自动证明终止。 兹比尔1294.68058 萨尔瓦多卢卡斯 1 2009 术语重写中公平计算的终止。 Zbl 1143.68491号 萨尔瓦多卢卡斯;何塞·梅塞盖尔 1 2005 上下文敏感重写的应用和扩展。 Zbl 1518.68157号 萨尔瓦多卢卡斯 三 2021 使用基础良好的关系证明操作终止。 Zbl 1468.03034号 萨尔瓦多卢卡斯 4 2020 自动证明和反驳可行性条件。 Zbl 07614688号 劳尔·古铁雷斯;萨尔瓦多卢卡斯 4 2020 多项：自动验证终止属性（系统描述）。 Zbl 07614689号 劳尔·古铁雷斯;萨尔瓦多卢卡斯 4 2020 条件重写系统的2D依赖项对框架。二： 先进的处理器和实现技术。 兹比尔1459.68092 萨尔瓦多卢卡斯;何塞·梅塞盖尔;劳尔·古铁雷斯 三 2020 使用AGES自动生成逻辑模型。 Zbl 07178982号 劳尔·古铁雷斯;萨尔瓦多卢卡斯 5 2019 将语义属性证明为一阶可满足性。 Zbl 1478.68356号 萨尔瓦多卢卡斯 4 2019 证明程序属性为一阶可满足性。 Zbl 1524.68094号 萨尔瓦多卢卡斯 2 2019 顺序排序的一阶理论的逻辑模型的自动合成。 Zbl 1398.68095号 萨尔瓦多卢卡斯;劳尔·古铁雷斯 11 2018 使用逻辑模型证明术语重写的不可行性。 Zbl 1477.68140号 萨尔瓦多卢卡斯;劳尔·古铁雷斯 8 2018 条件重写系统的2D依赖项对框架。一： 定义和基本处理器。 Zbl 1393.68088号 萨尔瓦多卢卡斯;何塞·梅塞盖尔;劳尔·古铁雷斯 7 2018 将基于重写的系统作为一阶理论进行分析。 Zbl 1508.68068号 萨尔瓦多卢卡斯 4 2018 证明条件项重写系统终止性质的依赖对。 Zbl 1353.68155号 萨尔瓦多卢卡斯;何塞·梅塞盖尔 9 2017 条件重写中的正规形式和正规理论。 兹比尔1356.68124 萨尔瓦多卢卡斯;何塞·梅塞盖尔 15 2016 使用逻辑模型证明通用逻辑中的操作终止。 Zbl 1367.68068号 萨尔瓦多卢卡斯 2 2016 扩展条件项重写系统的2D依赖对框架。 Zbl 1457.68136号 萨尔瓦多卢卡斯;何塞·梅塞盖尔;劳尔·古铁雷斯 4 2015 通用逻辑中的本地化操作终端。 Zbl 1453.68053号 萨尔瓦多卢卡斯;何塞·梅塞盖尔 三 2015 函数在上下文相关重写终止时在冻结位置调用。 Zbl 1321.68330号 劳尔·古铁雷斯;萨尔瓦多卢卡斯 2 2015 上下文敏感重写的完整性。 兹比尔1302.68144 萨尔瓦多卢卡斯 1 2015 用于证明CTRS操作终止的2D依赖项对。 Zbl 1367.68145号 萨尔瓦多卢卡斯;何塞·梅塞盖尔 6 2014 顺序重写理论的强操作终止和弱操作终止。 兹伯利1367.68144 萨尔瓦多卢卡斯;何塞·梅塞盖尔 三 2014 求解多项式约束的SAT模线性算法。 Zbl 1243.68210号 克里斯蒂娜·博拉莱拉斯;萨尔瓦多卢卡斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔;阿尔伯特·鲁比奥 7 2012 用证明终止属性多项. Zbl 1308.68068号 阿勒科恩，比阿特丽兹;劳尔·古铁雷斯;萨尔瓦多卢卡斯;拉斐尔·纳瓦罗·马塞特 12 2011 上下文相关依赖项对。 Zbl 1206.68158号 阿勒科恩，比阿特丽兹;劳尔·古铁雷斯;萨尔瓦多卢卡斯 7 2010 用于（A\vee C\）终止的依赖项对框架。 Zbl 1306.68060号 阿勒科恩，比阿特丽兹;萨尔瓦多卢卡斯;何塞·梅塞盖尔 7 2010 在上下文相关依赖对框架中证明终止。 Zbl 1306.68072号 劳尔·古铁雷斯;萨尔瓦多卢卡斯 6 2010 重新审视按需策略注释：改进的按需评估策略。 Zbl 1186.68092号 Alpunte，M。;埃斯科瓦尔，S。;格拉姆利希，B。;卢卡斯，S。 三 2010 方程理论的终止模组合。 Zbl 1193.68145号 弗朗西斯科·杜兰;萨尔瓦多卢卡斯;何塞·梅塞盖尔 15 2009 会员资格均衡程序的操作终止：顺序排序方式。 兹比尔1347.68198 萨尔瓦多卢卡斯;何塞·梅塞盖尔 12 2009 通过SAT模线性算法求解非线性多项式算法。 Zbl 1250.68184号 克里斯蒂娜·博拉莱拉斯;萨尔瓦多卢卡斯;拉斐尔·纳瓦罗·马塞特;恩里克·罗德里格斯-卡博内尔;阿尔伯特·鲁比奥 7 2009 通过转换证明基于重写的编程语言终止的方法。 Zbl 1337.68067号 弗朗西斯科·杜兰;萨尔瓦多卢卡斯;何塞·梅塞盖尔 5 2009 使用上下文敏感重写来证明重写的最内层终止。 兹比尔1337.68147 阿勒科恩，比阿特丽兹;萨尔瓦多卢卡斯 1 2009 使用基本解释自动证明终止。 Zbl 1294.68058号 萨尔瓦多卢卡斯 1 2009 证明会员资格均衡程序的操作终止。 兹比尔1192.68154 弗朗西斯科·杜兰;萨尔瓦多卢卡斯;克劳德·马奇;何塞·梅塞盖尔;泽维尔·乌尔班 29 2008 MTT：Maude终端工具。（系统描述）。 Zbl 1165.68360号 弗朗西斯科·杜兰;萨尔瓦多卢卡斯;何塞·梅塞盖尔 21 2008 改进上下文敏感依赖项对。 Zbl 1182.68092号 阿勒科恩，比阿特丽兹;费边·埃姆斯;卡斯滕·福斯;吉尔根·吉斯尔;劳尔·古铁雷斯;萨尔瓦多卢卡斯;彼得·施奈德·坎普;雷内·蒂曼 8 2008 有理多项式阶的搜索技术。 Zbl 1166.68354号 卡斯滕·福斯;拉斐尔·纳瓦罗·马塞特;卡斯滕·奥托;吉尔根·吉斯尔;萨尔瓦多卢卡斯;彼得·施奈德·坎普 7 2008 上下文敏感重写系统的可用规则。 Zbl 1145.68447号 劳尔·古铁雷斯;萨尔瓦多卢卡斯;泽维尔·乌尔班 三 2008 术语重写中公正/公平计算的终止。 Zbl 1146.68040号 萨尔瓦多卢卡斯;何塞·梅塞盖尔 1 2008 用MU-TERM证明上下文相关重写的终止。 Zbl 1278.68113号 阿勒科恩，比阿特丽兹;劳尔·古铁雷斯;何塞·伊波拉;萨尔瓦多卢卡斯 9 2007 改进上下文相关依赖关系图。 Zbl 1278.68114号 阿勒科恩，比阿特丽兹;劳尔·古铁雷斯;萨尔瓦多卢卡斯 5 2007 使用依赖项对终止最内层上下文敏感重写。 Zbl 1148.68463号 阿勒科恩，比阿特丽兹;萨尔瓦多卢卡斯 4 2007 自动删除多余的参数。 Zbl 1112.68068号 Alpunte，M。;埃斯科瓦尔，S。;卢卡斯，S。 4 2007 通过转换证明上下文敏感重写的终止。 Zbl 1171.68514号 萨尔瓦多卢卡斯 12 2006 上下文相关的依赖项对。 Zbl 1177.68133号 阿勒科恩，比阿特丽兹;劳尔·古铁雷斯;萨尔瓦多卢卡斯 9 2006 关于重写终止证明中具有实系数、有理系数和整数系数的多项式的相对幂。 Zbl 1103.68061号 萨尔瓦多卢卡斯 4 2006 推广左线性重写系统的Newman引理。 Zbl 1151.68445号 伯恩哈德·格拉姆利希;萨尔瓦多卢卡斯 三 2006 条件项重写系统的操作终止。 Zbl 1185.68374号 萨尔瓦多卢卡斯;克劳德·马奇;何塞·梅塞盖尔 38 2005 终止证明中实域上的多项式：从理论到实践。 Zbl 1085.68076号 萨尔瓦多卢卡斯 17 2005 基于所需缩小范围的功能逻辑程序的专业化。 Zbl 1092.68018号 玛丽亚·阿尔普特;萨尔瓦多卢卡斯;德国维达尔;迈克尔·哈纳斯 12 2005 当今编程语言的策略。 Zbl 1272.68073号 萨尔瓦多卢卡斯 1 2005 术语重写中公平计算的终止。 兹比尔1143.68491 萨尔瓦多卢卡斯;何塞·梅塞盖尔 1 2005 证明上下文敏感重写终止的多项式。 Zbl 1126.68448号 萨尔瓦多卢卡斯 7 2004 正确完整的（积极的）战略注释OBJ公司. Zbl 1272.68071号 玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;萨尔瓦多卢卡斯 三 2004 功能程序的抽象诊断。 Zbl 1278.68056号 玛丽亚·阿尔普特;马可·科米尼;圣地亚哥埃斯科瓦尔;莫雷诺，法拉斯基;萨尔瓦多卢卡斯 11 2003 上下文敏感重写策略。 Zbl 1012.68095号 萨尔瓦多卢卡斯 34 2002 递归路径顺序可以区分上下文。 Zbl 1072.68537号 克里斯蒂娜·博拉莱拉斯;萨尔瓦多卢卡斯;阿尔伯特·鲁比奥 11 2002 懒惰的重写和上下文敏感的重写。 Zbl 1268.68100号 萨尔瓦多卢卡斯 7 2002 终止（规范的）上下文相关重写。 Zbl 1045.68074号 萨尔瓦多卢卡斯 7 2002 改进按需策略注释。 兹比尔1023.0353 Alpunte，M。;埃斯科瓦尔，S。;格拉姆利希，B。;卢卡斯，S。 4 2002 用策略注释终止重写。 Zbl 1275.68084号 萨尔瓦多卢卡斯 14 2001 术语重写系统的超有限重写语义。 Zbl 0981.68070号 萨尔瓦多卢卡斯 4 2001 基于窄域的函数逻辑语言的评估语义。 Zbl 0971.68097号 迈克尔·哈纳斯;萨尔瓦多卢卡斯 1 2001 归纳顺序功能逻辑程序的专业化。 Zbl 1345.68090号 玛丽亚·阿尔普特;迈克尔·哈纳斯;萨尔瓦多卢卡斯;德国维达尔 三 1999 函数和函数程序中的上下文敏感计算。 Zbl 0924.68106号 萨尔瓦多卢卡斯 43 1998 强顺序和归纳顺序项重写系统。 Zbl 1339.68136号 迈克尔·哈纳斯;萨尔瓦多卢卡斯;阿尔特·米德尔多普 9 1998 根需要和近似需要。 Zbl 1339.68139号 萨尔瓦多卢卡斯 2 1998 通过重写终止上下文相关重写。 Zbl 1046.68565号 萨尔瓦多卢卡斯 6 1996 所有引用出版物 前5名被引用出版物 全部的 前5名被181位作者引用 42 萨尔瓦多卢卡斯 28 何塞·梅塞盖尔·瓜伊塔 19 圣地亚哥埃斯科瓦尔 14 玛丽亚·阿尔普特 13 劳尔·古铁雷斯 13 阿尔特·米德尔多普 11 马丁·奥列特，纳西索 10 弗朗西斯科·杜兰 8 直纪西田 7 塞尔吉奥·安托伊 6 Nao Hirokawa 6 Masahiko酒井 6 朱莉娅·萨皮娜 6 雷内·蒂曼 5 阿勒科恩，比阿特丽兹 5 伯恩哈德·格拉姆利希 5 何塞·伊波拉 5 卡罗琳·塔尔科特。 5 莎拉·温克勒 5 Akihisa山田 5 哈拉尔德·赞克 4 黛米斯·巴利斯 4 史蒂文·艾克 4 吉尔根·吉斯尔 4 迈克尔·哈纳斯 4 赫莱内·基什内尔 4 Kazuhiro绪方 4 阿德里安·里斯科 4 鲁本·卢比奥 4 彼得·施奈德·坎普 4 泽维尔·乌尔班 4 阿尔贝托·维尔德乔 4 德国维达尔 三 拉斐尔·卡巴列罗（Rafael E.Caballero）。 三 约尔格恩德鲁利斯 三 莫雷诺，法拉斯基 三 卡斯滕·福斯 三 高基町五指 三 克劳德·马奇 三 中村，Masaki 三 拉斐尔·纳瓦罗·马塞特 三 伊莎贝尔·皮塔 三 卡米洛·罗查 三 恩里克·罗德里格斯-卡博内尔 三 阿尔伯特·鲁比奥 2 艾丽卡·阿尔布拉汉姆 2 路易斯·安东尼奥·阿吉雷 2 尼里娜·安德里亚纳里韦洛 2 克里斯蒂娜·博拉莱拉斯 2 亚历山德罗·西马蒂 2 马可·科米尼 2 斯蒂芬·福克 2 奥利维尔·菲索 2 卡尔·格迈纳 2 伊莎贝·格尼迪格 2 阿尔贝托·格里乔 2 迪米特里·亨德里克斯 2 佛罗伦萨·杰克马尔 2 吉原小岛 2 辛西娅·科普 2 洛佩斯·弗拉瓜斯，弗朗西斯科·哈维尔 2 蒂尔·莫萨科夫斯基 2 佩德罗·奥杰达 2 阿尔伯特·奥利弗拉斯 2 卡斯滕·奥托 2 米盖尔·帕洛米诺 2 皮埃尔·雷蒂 2 坂部俊彦 2 费利克斯·舍恩哈默 2 斯蒂芬·斯基里克 1 约翰·A·阿伯特。 1 艾尔维拉·阿尔伯特 1 高仁青藤 1 阿帕里西奥·桑切斯，达米安 1 科尼利厄斯·阿斯切尔曼 1 乔瓦尼·巴奇 1 彼得·贝克曼 1 贝恩德·贝克尔 1 费德里科·贝根蒂 1 菲利波·比加雷拉 1 安娜·玛丽亚·比加蒂 1 弗雷德里克·布兰基 1 纪尧姆·邦芬特 1 阿黛尔·布胡拉 1 布莱恩，马丁 1 马克·布罗克施米特 1 丹尼尔·布朗（Daniel W.Brown）。 1 罗伯托·布鲁尼 1 布赫伯格，布鲁诺 1 蔡少伟 1 洛伦佐·坎迪阿戈 1 蒋素慧 1 曼纽尔·克莱维尔 1 米海·Codescu 1 迈克尔·科迪什 1 伊芙琳·孔特让 1 科雷亚，弗朗西斯科·何塞 1 弗洛里安·科齐利厄斯 1 詹姆斯·哈罗德·达文波特 1 伊曼纽尔·德·安吉利斯 …还有81位作者 全部的 前5名23篇连载文章中引用 15 理论计算机科学 14 自动推理杂志 13 程序设计中的逻辑与代数方法杂志 8 信息与计算 5 信息处理信件 5 符号计算杂志 4 逻辑与代数程序设计杂志 三 数学与人工智能年鉴 三 逻辑程序设计理论与实践 2 工程、通信和计算中的应用代数 2 ACM计算逻辑事务 1 人工智能 1 计算机与系统科学杂志 1 合成 1 新一代计算 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 系统设计中的形式化方法 1 函数编程杂志 1 高阶与符号计算 1 RAIRO公司。理论信息学及其应用 1 应用逻辑杂志 1 计算机科学中的逻辑方法 全部的 前5名在9个字段中引用 172 计算机科学（68至XX） 29 数学逻辑和基础（03-XX） 2 历史与传记（01-XX） 2 运筹学、数学规划（90-XX） 1 阶、格、有序代数结构（06-XX） 1 场论和多项式（12-XX） 1 代数几何（14-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 范畴理论；同调代数（18-XX） 按年份列出的引文