编辑配置文件(在新选项卡中打开) 何塞·伊波拉 合著者距离 作者ID: 伊波拉·何塞 发布日期: 何塞·伊波拉;J·伊波拉。 已编制索引的文档: 9出版物自2007年起 合著者: 10位合著者具有9联合出版物 185位合作作者 全部的 前5名合著者 0 单作者的 5 玛丽亚·阿尔普特 5 圣地亚哥埃斯科瓦尔 3 直纪西田 3 德国维达尔 2 秋久山田 1 阿勒科恩,比阿特丽兹 1 马可·科米尼 1 莫雷诺,法拉斯基 1 劳尔·古铁雷斯 1 萨尔瓦多卢卡斯 系列 2 理论计算机科学 1 自动推理杂志 1 IGPL逻辑杂志 领域 9 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用35中的次24文件 引用人▼ 年份▼ 再次讨论狭窄的终止。 Zbl 1187.68271号 玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·伊波拉 10 2009 用MU-TERM证明上下文相关重写的终止。 Zbl 1278.68113号 阿勒科恩,比阿特丽兹;劳尔·古铁雷斯;何塞·伊波拉;萨尔瓦多卢卡斯 9 2007 基本变窄的模块化终端。 兹比尔1145.68439 玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·伊波拉 4 2008 术语重写系统的紧凑不动点语义。 Zbl 1209.68285号 Alpunte,M。;M.科米尼。;埃斯科瓦尔,S。;M.法拉斯基。;J·伊波拉。 3 2010 使用依赖项对终止收缩。 Zbl 1185.68218号 玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·伊波拉 3 2008 用于证明收缩终止的目标定向依赖对和相对依赖对。 Zbl 1284.68186号 何塞·伊波拉;直纪西田;德国维达尔 3 2010 基本窄化和方程统一的模块化终止。 Zbl 1257.68090号 玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·伊波拉 2 2011 减少依赖对问题的相对终止。 Zbl 1465.68120号 何塞·伊波拉;直纪西田;德国维达尔;秋久山田 1 2015 减少依赖对问题的相对终止。 Zbl 1465.68120号 何塞·伊波拉;直纪西田;德国维达尔;秋久山田 1 2015 基本窄化和方程统一的模块化终止。 Zbl 1257.68090号 玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·伊波拉 2 2011 术语重写系统的紧凑不动点语义。 Zbl 1209.68285号 Alpunte,M。;M.科米尼。;埃斯科瓦尔,S。;M.法拉斯基。;J·伊波拉。 3 2010 用于证明收缩终止的目标定向依赖对和相对依赖对。 Zbl 1284.68186号 何塞·伊波拉;直纪西田;德国维达尔 3 2010 再次讨论狭窄的终止。 Zbl 1187.68271号 玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·伊波拉 10 2009 基本变窄的模块化终端。 Zbl 1145.68439号 玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·伊波拉 4 2008 使用依赖项对终止收缩。 Zbl 1185.68218号 玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·伊波拉 3 2008 用MU-TERM证明上下文敏感重写的终止。 Zbl 1278.68113号 阿勒科恩,比阿特丽兹;劳尔·古铁雷斯;何塞·伊波拉;萨尔瓦多卢卡斯 9 2007 所有引用出版物 前5名被引用出版物 全部的 前5名28位作者引用 8 圣地亚哥埃斯科瓦尔 7 玛丽亚·阿尔普特 6 何塞·伊波拉 6 萨尔瓦多卢卡斯 4 朱莉娅·萨皮娜 3 阿勒科恩,比阿特丽兹 3 黛米斯·巴利斯 3 劳尔·古铁雷斯 3 何塞·梅塞盖尔·瓜伊塔 3 直纪西田 3 德国维达尔 2 马可·科米尼 2 莫雷诺,法拉斯基 2 秋久山田 1 阿帕里西奥·桑切斯,达米安 1 乔瓦尼·巴奇 1 科雷亚,弗朗西斯科·何塞 1 弗洛里安·弗洛恩 1 吉尔根·吉斯尔 1 伯恩哈德Gramlich 1 栗原、Masahito 1 阿尔特·米德尔多普 1 拉斐尔·纳瓦罗·马塞特 1 佐藤、晴彦 1 费利克斯·舍恩哈默 1 泽维尔·乌尔班 1 莎拉·温克勒 1 巴托斯·齐连斯基 全部的 前5名8篇连载文章中引用 3 理论计算机科学 2 信息与计算 2 自动推理杂志 1 信息处理信件 1 工程、通信和计算中的应用代数 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 逻辑程序设计理论与实践 在2个字段中引用 24 计算机科学(68至XX) 1 范畴理论;同调代数(18-XX) 按年份列出的引文