编辑配置文件（在新选项卡中打开） 圣地亚哥埃斯科瓦尔 合著者距离 作者ID： 埃斯科巴·圣地亚哥 发布日期： 圣地亚哥埃斯科瓦尔;埃斯科瓦尔，S。 外部链接： MGP公司·ORCID公司 已编制索引的文档： 61出版物自2002年起 7作为编辑的贡献 合著者： 38位合著者具有61份联合出版物 651位联合作者 全部的 前5名合著者 7 单作者的 34 何塞·梅塞盖尔·瓜伊塔 29 玛丽亚·阿尔普特 13 朱莉娅·萨皮娜 8 黛米斯·巴利斯 8 凯瑟琳·梅多斯。 7 萨尔瓦多卢卡斯 6 弗朗西斯科·杜兰 6 史蒂文·艾克 6 马丁·奥列特，纳西索 6 卡罗琳·塔尔科特。 5 安吉尔·昆卡-奥尔特加 5 何塞·伊波拉 5 拉尔夫·萨西 4 阿帕里西奥·桑切斯，达米安 4 莫雷诺，法拉斯基 4 圣地亚哥，索尼娅 三 普拉桑纳·塔蒂 2 马可·科米尼 2 哈维尔·埃斯佩特 2 伯恩哈德·格拉姆利希 2 劳尔·洛佩斯·鲁埃达 2 佩德罗·奥杰达 2 鲁本·卢比奥 1 毛里西奥·阿尔巴·卡斯特罗 1 Bae，Kyungmin先生 1 千叶，Yuki 1 曼纽尔·克莱维尔 1 塞尔达尔·埃尔巴图尔 1 D.加兰。 1 劳尔·古铁雷斯 1 迪帕克·卡普尔 1 帕特里克·D·林肯。 1 刘志强 1 克里斯托弗·林奇（Christopher A.Lynch）。 1 巴利亚特·纳伦德兰 1 直纪西田 1 大卫·萨贝尔 1 曼弗雷德·施密特·沙乌 全部的 前5名系列 7 程序设计中的逻辑与代数方法杂志 4 理论计算机科学 三 信息与计算 三 逻辑程序设计理论与实践 三 计算机科学课堂讲稿 1 人工智能通信 1 数学与人工智能年鉴 1 IGPL逻辑杂志 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 OASIcs——信息学中的OpenAccess系列 全部的 前5名领域 67 计算机科学（68至XX） 11 信息与通信理论、电路（94-XX） 8 数学逻辑和基础（03-XX） 7 总体主题；集合（00-XX） 2 一般代数系统（08-XX） 1 历史与传记（01-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 53出版物有被引用429中的次158文件 引用人▼ 年份▼ 折叠变体变窄和最佳变体终止。 Zbl 1291.68217号 圣地亚哥埃斯科瓦尔;拉尔夫·萨西;何塞·梅塞盖尔 41 2012 Maude NPA：密码协议分析的模等式性质。 Zbl 1252.94061号 圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔 40 2009 使用窄化对无限状态系统进行抽象逻辑模型检查。 Zbl 1356.68140号 Bae，Kyungmin先生;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔 26 2011 使用窄化对无限状态系统进行符号模型检查。 Zbl 1203.68097号 圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔 25 2007 NRL协议分析器及其元逻辑属性的基于重写的推理系统。 Zbl 1153.94375号 圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔 24 2006 一种模序分类方程泛化算法。 Zbl 1314.68169号 玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;哈维尔·埃斯佩特;何塞·梅塞盖尔 24 2014 莫德的编程和符号计算。 Zbl 1494.68109号 弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;马丁·奥列特，纳西索;何塞·梅塞盖尔;鲁本·卢比奥;卡罗琳·塔尔科特 21 2020 变量缩小和方程统一。 Zbl 1347.68194号 圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;拉尔夫·萨西 15 2009 有序概括。 Zbl 1347.68193号 玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;佩德罗·奥杰达 13 2009 一种模块化方程泛化算法。 Zbl 1185.68219号 玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;佩德罗·奥杰达 11 2009 功能程序的抽象诊断。 Zbl 1278.68056号 玛丽亚·阿尔普特;马可·科米尼;圣地亚哥埃斯科瓦尔;莫雷诺，法拉斯基;萨尔瓦多卢卡斯 11 2003 再次讨论狭窄的终止。 Zbl 1187.68271号 玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·伊波拉 10 2009 序排序方程程序模公理的部分求值框架。 Zbl 1494.68048号 Alpunte，M。;昆卡·奥尔特加，A。;埃斯科瓦尔，S。;梅塞盖尔，J。 9 2020 \（{\mathsf{ACUOS}}^\mathbf{2}\）：一个用于模块化ACU泛化的高性能系统，带有子类型和继承。 Zbl 1525.68195号 玛丽亚·阿尔普特;黛米斯·巴利斯;安吉尔·昆卡-奥尔特加;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔 9 2019 内置变量生成和统一，以及它们在Maude 2.7中的应用。 Zbl 1475.68046号 弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;马丁·奥列特，纳西索;何塞·梅塞盖尔;卡罗琳·塔尔科特 8 2016 有效检查有限变量属性。 Zbl 1145.68444号 圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;拉尔夫·萨西 8 2008 Maude-NRL协议分析器中的状态空间缩减。 Zbl 1360.94307号 圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;圣地亚哥，索尼娅 8 2014 有序同胚嵌入结合性和/或交换性公理的模组合。 Zbl 1497.68235号 玛丽亚·阿尔普特;安吉尔·昆卡-奥尔特加;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔 7 2020 ACUOS：具有子类型和继承的模块化ACU泛化系统。 Zbl 1432.68422号 玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;哈维尔·埃斯佩特;何塞·梅塞盖尔 7 2014 排序等式程序模公理的部分求值。 兹比尔1485.68050 玛丽亚·阿尔普特;安吉尔·昆卡-奥尔特加;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔 6 2017 一般术语重写系统的自然收缩。 Zbl 1078.68655号 圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;普拉桑纳·塔蒂 6 2005 Maude中的联想统一和符号推理模联想性。 Zbl 1517.68158号 弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;马丁·奥列特，纳西索;何塞·梅塞盖尔;卡罗琳·塔尔科特 6 2018 折叠变体变窄和最佳变体终止。 Zbl 1306.68069号 圣地亚哥埃斯科瓦尔;拉尔夫·萨西;何塞·梅塞盖尔 6 2010 重写逻辑及其应用。2014年4月5日至6日，作为ETAPS的卫星活动，在法国格勒诺布尔举行了第十届WRLA国际研讨会。修订了选定的论文。 Zbl 1318.68016号 5 2014 Maude 2.6中的变体、统一、缩小和符号可达性。 Zbl 1236.68180号 弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;卡罗琳·塔尔科特 5 2011 非对称统一：密码协议分析的新统一范式。 Zbl 1381.68264号 塞尔达尔·埃尔巴图尔;圣地亚哥埃斯科瓦尔;迪帕克·卡普尔;刘志强;克里斯托弗·林奇（Christopher A.Lynch）。;凯瑟琳·梅多斯;何塞·梅塞盖尔;巴利亚特·纳伦德兰;圣地亚哥，索尼娅;拉尔夫·萨西 5 2013 有效地实现自然重写和收缩。 Zbl 1122.68371号 圣地亚哥埃斯科瓦尔 5 2004 重写逻辑中全局不干涉的抽象证明。 Zbl 1312.68049号 毛里西奥·阿尔巴·卡斯特罗;玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔 5 2010 基本变窄的模块化终端。 Zbl 1145.68439号 玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·伊波拉 4 2008 缩小和重写逻辑：从基础到应用。 Zbl 1279.68205号 圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;普拉桑纳·塔蒂 4 2007 用不等量约束模方程理论进行符号协议分析。 Zbl 1437.94060号 圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;圣地亚哥，索尼娅 4 2015 改进按需策略注释。 兹比尔1023.0353 Alpunte，M。;埃斯科瓦尔，S。;格拉姆利希，B。;卢卡斯，S。 4 2002 自动删除多余的参数。 Zbl 1112.68068号 Alpunte，M。;埃斯科瓦尔，S。;卢卡斯，S。 4 2007 随时间进行协议分析。 Zbl 1492.94055号 阿帕里西奥·桑切斯，达米安;圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;朱莉娅·萨皮娜 4 2020 使用依赖项对终止收缩。 Zbl 1185.68218号 玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·伊波拉 三 2008 Maude中的功能逻辑编程。 兹比尔1407.68081 圣地亚哥埃斯科瓦尔 三 2014 重新审视按需策略注释：改进的按需评估策略。 Zbl 1186.68092号 阿尔普恩特，M。;埃斯科瓦尔，S。;格拉姆利希，B。;卢卡斯，S。 三 2010 正确完整的（积极的）战略注释OBJ公司. Zbl 1272.68071号 玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;萨尔瓦多卢卡斯 三 2004 术语重写系统的紧凑不动点语义。 Zbl 1209.68285号 阿尔普恩特，M。;M.科米尼。;埃斯科瓦尔，S。;M.法拉斯基。;J·伊波拉。 三 2010 Maude 3.2（系统描述）中的等式统一和匹配以及符号可达性分析。 Zbl 07628207号 弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;马丁·奥列特，纳西索;何塞·梅塞盖尔;鲁本·卢比奥;卡罗琳·塔尔科特 三 2022 结合性公理和交换性公理的同胚嵌入模组合。 Zbl 1524.68068号 玛丽亚·阿尔普特;安吉尔·昆卡-奥尔特加;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔 三 2019 莫德二十年。 Zbl 1321.68007号 曼纽尔·克莱维尔;弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;帕特里克·林肯;马丁·奥列特，纳西索;卡罗琳·塔尔科特 2 2015 基本窄化和方程统一的模块化终止。 Zbl 1257.68090号 玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·伊波拉 2 2011 带不可约约束的规范收缩作为一种符号协议分析方法。 Zbl 07176720号 圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔 2 2019 重温了有序等式推广算法。 Zbl 07517439号 玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;朱莉娅·萨皮娜 2 2022 具有时间和空间的协议分析。 Zbl 1498.94052号 阿帕里西奥·桑切斯，达米安;圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;朱莉娅·萨皮娜 2 2021 大多数通用变体统一器。 Zbl 07453112号 圣地亚哥埃斯科瓦尔;朱莉娅·萨皮娜 2 2019 功能和约束逻辑编程。2009年6月28日在巴西巴西利亚举行的WFLP 2009第18届国际研讨会。修订了选定的论文。 Zbl 1185.68006号 1 2010 与纳瓦尔对莫德理论的符号分析。 Zbl 1434.68214号 玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;朱莉娅·萨皮纳;黛米斯·巴利斯 1 2019 通过等式部分评估优化重写理论。 Zbl 1477.68136号 Alpunte，M。;D.巴利斯。;埃斯科瓦尔，S。;萨皮尼亚，J。 1 2022 构造器符号下基于变量的方程统一。 Zbl 07455704号 阿帕里西奥·桑切斯，达米安;圣地亚哥埃斯科瓦尔;朱莉娅·萨皮娜 1 2020 具有不可约性和SMT约束的规范收缩作为通用符号协议分析方法。 Zbl 1517.94128号 劳尔·洛佩斯·鲁埃达;圣地亚哥埃斯科瓦尔 1 2022 通过莫德的可编程策略实施安全。 Zbl 07665440号 阿尔普恩特，M。;Ballis，D。;埃斯科瓦尔，S。;D.加兰。;萨皮尼亚，J。 1 2023 通过莫德的可编程策略实施安全。 Zbl 07665440号 Alpunte，M。;Ballis，D。;埃斯科瓦尔，S。;D.加兰。;萨皮尼亚，J。 1 2023 Maude 3.2（系统描述）中的等式统一和匹配以及符号可达性分析。 Zbl 07628207号 弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;马丁·奥列特，纳西索;何塞·梅塞盖尔;鲁本·卢比奥;卡罗琳·塔尔科特 三 2022 重温了有序等式推广算法。 Zbl 07517439号 玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;朱莉娅·萨皮娜 2 2022 通过等式部分评估优化重写理论。 Zbl 1477.68136号 Alpunte，M。;D.巴利斯。;埃斯科瓦尔，S。;萨皮尼亚，J。 1 2022 具有不可约性和SMT约束的规范收缩作为通用符号协议分析方法。 Zbl 1517.94128号 劳尔·洛佩斯·鲁埃达;圣地亚哥埃斯科瓦尔 1 2022 具有时间和空间的协议分析。 Zbl 1498.94052号 阿帕里西奥·桑切斯，达米安;圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;朱莉娅·萨皮娜 2 2021 莫德的编程和符号计算。 Zbl 1494.68109号 弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;马丁·奥列特，纳西索;何塞·梅塞盖尔;鲁本·卢比奥;卡罗琳·塔尔科特 21 2020 序排序方程程序模公理的部分求值框架。 Zbl 1494.68048号 Alpunte，M。;昆卡·奥尔特加，A。;埃斯科瓦尔，S。;梅塞盖尔，J。 9 2020 有序同胚嵌入结合性和/或交换性公理的模组合。 Zbl 1497.68235号 玛丽亚·阿尔普特;安吉尔·昆卡-奥尔特加;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔 7 2020 随时间进行协议分析。 Zbl 1492.94055号 阿帕里西奥·桑切斯，达米安;圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;朱莉娅·萨皮娜 4 2020 构造器符号下基于变量的方程统一。 Zbl 07455704号 阿帕里西奥·桑切斯，达米安;圣地亚哥埃斯科瓦尔;朱莉娅·萨皮娜 1 2020 \（{\mathsf{ACUOS}}^\mathbf{2}\）：一个用于模块化ACU泛化的高性能系统，带有子类型和继承。 Zbl 1525.68195号 玛丽亚·阿尔普特;黛米斯·巴利斯;安吉尔·昆卡-奥尔特加;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔 9 2019 结合性公理和交换性公理的同胚嵌入模组合。 Zbl 1524.68068号 玛丽亚·阿尔普特;安吉尔·昆卡-奥尔特加;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔 三 2019 带不可约约束的规范收缩作为一种符号协议分析方法。 Zbl 07176720号 圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔 2 2019 大多数通用变体统一器。 Zbl 07453112号 圣地亚哥埃斯科瓦尔;朱莉娅·萨皮娜 2 2019 与纳瓦尔对莫德理论的符号分析。 Zbl 1434.68214号 玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;朱莉娅·萨皮纳;黛米斯·巴利斯 1 2019 Maude中的结合统一和符号推理模结合性。 兹比尔1517.68158 弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;马丁·奥列特，纳西索;何塞·梅塞盖尔;卡罗琳·塔尔科特 6 2018 排序等式程序模公理的部分求值。 Zbl 1485.68050号 玛丽亚·阿尔普特;安吉尔·昆卡-奥尔特加;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔 6 2017 内置变量生成和统一，以及它们在Maude 2.7中的应用。 兹比尔1475.68046 弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;马丁·奥列特，纳西索;何塞·梅塞盖尔;卡罗琳·塔尔科特 8 2016 用不等量约束模方程理论进行符号协议分析。 Zbl 1437.94060号 圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;圣地亚哥，索尼娅 4 2015 莫德二十年。 Zbl 1321.68007号 曼纽尔·克莱维尔;弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;帕特里克·林肯;马丁·奥列特，纳西索;卡罗琳·塔尔科特 2 2015 一种模序分类方程泛化算法。 Zbl 1314.68169号 玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;哈维尔·埃斯佩特;何塞·梅塞盖尔 24 2014 Maude-NRL协议分析器中的状态空间缩减。 Zbl 1360.94307号 圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;圣地亚哥，索尼娅 8 2014 ACUOS：具有子类型和继承的模块化ACU泛化系统。 Zbl 1432.68422号 玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;哈维尔·埃斯佩特;何塞·梅塞盖尔 7 2014 重写逻辑及其应用。2014年4月5日至6日，作为ETAPS的卫星活动，在法国格勒诺布尔举行了第十届WRLA国际研讨会。修订了选定的论文。 Zbl 1318.68016号 5 2014 Maude中的功能逻辑编程。 Zbl 1407.68081号 圣地亚哥埃斯科瓦尔 三 2014 非对称统一：密码协议分析的新统一范式。 Zbl 1381.68264号 塞尔达尔·埃尔巴图尔;圣地亚哥埃斯科瓦尔;迪帕克·卡普尔;刘志强;克里斯托弗·林奇（Christopher A.Lynch）。;凯瑟琳·梅多斯;何塞·梅塞盖尔;巴利亚特·纳伦德兰;圣地亚哥，索尼娅;拉尔夫·萨西 5 2013 折叠变体变窄和最佳变体终止。 Zbl 1291.68217号 圣地亚哥埃斯科瓦尔;拉尔夫·萨西;何塞·梅塞盖尔 41 2012 使用窄化对无限状态系统进行抽象逻辑模型检查。 Zbl 1356.68140号 Bae，Kyungmin先生;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔 26 2011 Maude 2.6中的变体、统一、缩小和符号可达性。 Zbl 1236.68180号 弗朗西斯科·杜兰;史蒂文·艾克;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;卡罗琳·塔尔科特 5 2011 基本窄化和方程统一的模块化终止。 Zbl 1257.68090号 玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·伊波拉 2 2011 折叠变体变窄和最佳变体终止。 Zbl 1306.68069号 圣地亚哥埃斯科瓦尔;拉尔夫·萨西;何塞·梅塞盖尔 6 2010 重写逻辑中全局不干涉的抽象证明。 Zbl 1312.68049号 毛里西奥·阿尔巴·卡斯特罗;玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔 5 2010 重新审视按需策略注释：改进的按需评估策略。 Zbl 1186.68092号 阿尔普恩特，M。;埃斯科瓦尔，S。;格拉姆利希，B。;卢卡斯，S。 三 2010 术语重写系统的紧凑不动点语义。 Zbl 1209.68285号 阿尔普恩特，M。;M.科米尼。;埃斯科瓦尔，S。;M.法拉斯基。;J·伊波拉。 三 2010 功能和约束逻辑编程。2009年6月28日在巴西巴西利亚举行的WFLP 2009第18届国际研讨会。修订了选定的论文。 Zbl 1185.68006号 1 2010 Maude-NPA：密码协议分析模方程属性。 Zbl 1252.94061号 圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔 40 2009 变量缩小和方程统一。 Zbl 1347.68194号 圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;拉尔夫·萨西 15 2009 有序概括。 Zbl 1347.68193号 玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;佩德罗·奥杰达 13 2009 一种模块化方程泛化算法。 Zbl 1185.68219号 玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;佩德罗·奥杰达 11 2009 再次讨论狭窄的终止。 Zbl 1187.68271号 玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·伊波拉 10 2009 有效检查有限变量属性。 Zbl 1145.68444号 圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;拉尔夫·萨西 8 2008 基本变窄的模块化终端。 Zbl 1145.68439号 玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·伊波拉 4 2008 使用依赖项对终止收缩。 Zbl 1185.68218号 玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·伊波拉 三 2008 使用窄化对无限状态系统进行符号模型检查。 Zbl 1203.68097号 圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔 25 2007 缩小和重写逻辑：从基础到应用。 Zbl 1279.68205号 圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;普拉桑纳·塔蒂 4 2007 自动删除多余的参数。 Zbl 1112.68068号 Alpunte，M。;埃斯科瓦尔，S。;卢卡斯，S。 4 2007 NRL协议分析器及其元逻辑属性的基于重写的推理系统。 Zbl 1153.94375号 圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔 24 2006 一般术语重写系统的自然收缩。 Zbl 1078.68655号 圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;普拉桑纳·塔蒂 6 2005 高效地实现自然重写和缩小。 兹比尔1122.68371 圣地亚哥埃斯科瓦尔 5 2004 正确完整的（积极的）战略注释OBJ公司. Zbl 1272.68071号 玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;萨尔瓦多卢卡斯 三 2004 功能程序的抽象诊断。 Zbl 1278.68056号 玛丽亚·阿尔普特;马可·科米尼;圣地亚哥埃斯科瓦尔;莫雷诺，法拉斯基;萨尔瓦多卢卡斯 11 2003 改进按需策略注释。 兹比尔1023.0353 Alpunte，M。;埃斯科瓦尔，S。;格拉姆利希，B。;卢卡斯，S。 4 2002 所有引用出版物 前5名被引用出版物 全部的 前5名156位作者引用 36 圣地亚哥埃斯科瓦尔 35 何塞·梅塞盖尔·瓜伊塔 23 玛丽亚·阿尔普特 17 马丁·奥列特，纳西索 16 朱莉娅·萨皮娜 11 黛米斯·巴利斯 9 特默尔库西亚 9 阿尔贝托·维尔德乔 8 凯瑟琳·梅多斯。 8 鲁本·卢比奥 7 萨尔瓦多卢卡斯 6 弗朗西斯科·杜兰 6 伊莎贝尔·皮塔 6 阿德里安·里斯科 6 弗拉德鲁苏 5 史蒂文·艾克 5 多雷尔·卢卡努 5 卡罗琳·塔尔科特。 4 安德烈·阿鲁索艾 4 亚历山大·鲍姆加特纳 4 大卫·M·塞尔纳。 4 玛丽贝尔·费尔南德斯 4 高基町五指 4 何塞·伊波拉 4 直纪西田 4 卡米洛·罗查 4 格里高·罗什乌 4 拉尔夫·萨西 4 斯蒂芬·斯基里克 三 路易斯·安东尼奥·阿吉雷 三 阿帕里西奥·桑切斯，达米安 三 毛里西奥·阿亚拉·林科恩 三 拉斐尔·卡巴列罗（Rafael E.Caballero）。 三 斯特凡尼德劳恩 三 塞尔达尔·埃尔巴图尔 三 Frechina，弗朗西斯科 三 迈克尔·哈纳斯 三 约尔迪·利维 三 克里斯托弗·林奇（Christopher A.Lynch）。 三 安德鲁·马歇尔。 三 Kazuhiro绪方 三 米盖尔·帕洛米诺 三 克里斯托弗·林盖森 三 胡安·罗德里格斯·霍塔拉 三 圣地亚哥，索尼娅 三 丹尼尔·南特，索布里尼奥 三 普拉桑纳·塔蒂 三 德国维达尔 三 马图·维拉雷特 2 塞尔吉奥·安托伊 2 David A.Basin。 2 罗希特·查达 2 瑟·特凡·乔巴赫 2 马可·科米尼 2 维罗尼克·科尔蒂尔 2 安吉尔·昆卡-奥尔特加 2 华盛顿州，de Carvalho-Segundo 2 哈维尔·埃斯佩特 2 莫雷诺，法拉斯基 2 弗洛里安·弗洛恩 2 卡斯滕·福斯 2 吉尔根·吉斯尔 2 伯恩哈德·格拉姆利希 2 史蒂夫·克莱默 2 刘志强 2 洛佩斯·弗拉瓜斯，弗朗西斯科·哈维尔 2 劳尔·洛佩斯·鲁埃达 2 恩里克·马丁·马汀 2 奥斯卡·马汀 2 佩德罗·奥杰达 2 詹姆·桑切斯·埃尔南德斯 1 阿尔特·卡奇，哈桑 1 阿勒科恩，比阿特丽兹 1 艾琳娜·莫瑞卡 1 科尼利厄斯·阿斯切尔曼 1 乔瓦尼·巴奇 1 马修·史蒂文·鲍尔 1 伦茨·贝尔兹纳 1 克拉拉·贝托利西 1 布鲁诺·布兰切特 1 玛丽亚·保拉（Maria Paola Bonacina） 1 马克·布罗克施米特 1 塞尔吉·布尔苏克 1 伊利亚诺·塞维萨托 1 文森特·雪瓦尔 1 曼纽尔·克莱维尔 1 休伯特·科蒙·隆德 1 科雷亚，弗朗西斯科·何塞 1 罗梅奥·库比斯 1 克雷默斯，Cas J.F。 1 安托万·达隆 1 丹尼尔·多尔蒂。 1 詹妮克·德雷尔 1 查尔斯·杜梅尼 1 阿杰·库马尔·埃拉拉 1 费边·埃姆斯 1 里卡多·福卡迪 1 乌尔里希·富巴赫 1 D.加兰。 1 埃尔萨·甘特。 …还有56位作者 全部的 前5名20篇连载文章中引用 25 程序设计中的逻辑与代数方法杂志 11 理论计算机科学 8 信息与计算 6 自动推理杂志 4 计算的形式方面 4 MSCS公司。计算机科学中的数学结构 4 逻辑程序设计理论与实践 2 高阶与符号计算 2 计算机基础理论 2 逻辑与代数程序设计杂志 2 ACM计算逻辑事务 1 人工智能 1 信息处理信件 1 模糊集与系统 1 符号计算杂志 1 工程、通信和计算中的应用代数 1 数学与人工智能年鉴 1 计算机语言、系统和结构 1 计算机科学中的数学 1 计算机科学中的逻辑方法 全部的 前5名在9个字段中引用 155 计算机科学（68至XX） 32 数学逻辑和基础（03-XX） 24 信息与通信理论、电路（94-XX） 三 范畴理论；同调代数（18-XX） 2 历史与传记（01-XX） 2 一般代数系统（08-XX） 1 总体主题；集合（00-XX） 1 阶、格、有序代数结构（06-XX） 1 结合环与代数（16-XX） 按年份列出的引文