编辑配置文件(在新选项卡中打开) 哈维尔·埃斯佩特 合著者距离 作者ID: 特别是哈维尔 发布日期: 哈维尔·埃斯佩特 已编制索引的文档: 3出版物自2011年起 合著者: 5位合著者具有3联合出版物 163位合作作者 合著者 0 单作者的 三 玛丽亚·阿尔普恩特 2 圣地亚哥埃斯科瓦尔 2 何塞·梅塞盖尔·瓜伊塔 1 黛米斯·巴利斯 1 丹尼尔·罗梅罗(Daniel M.Romero)。 系列 1 信息与计算 领域 三 计算机科学(68至XX) 2 数理逻辑与基础(03-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物有被引用36中的次28文件 引用人▼ 年份▼ 一种模序分类方程泛化算法。 Zbl 1314.68169号 玛丽亚·阿尔普恩特;圣地亚哥埃斯科瓦尔;哈维尔·埃斯佩特;何塞·梅塞盖尔 24 2014 ACUOS:具有子类型和继承的模块化ACU泛化系统。 Zbl 1432.68422号 玛丽亚·阿尔普恩特;圣地亚哥埃斯科瓦尔;哈维尔·埃斯佩特;何塞·梅塞盖尔 7 2014 用于重写逻辑理论的向后跟踪切片。 Zbl 1341.68026号 玛丽亚·阿尔普恩特;黛米斯·巴利斯;哈维尔·埃斯佩特;丹尼尔·罗梅罗 5 2011 一种模序分类方程泛化算法。 Zbl 1314.68169号 玛丽亚·阿尔普恩特;圣地亚哥埃斯科瓦尔;哈维尔·埃斯佩特;何塞·梅塞盖尔 24 2014 ACUOS:具有子类型和继承的模块化ACU泛化系统。 Zbl 1432.68422号 玛丽亚·阿尔普恩特;圣地亚哥埃斯科瓦尔;哈维尔·埃斯佩特;何塞·梅塞盖尔 7 2014 用于重写逻辑理论的向后跟踪切片。 Zbl 1341.68026号 玛丽亚·阿尔普恩特;黛米斯·巴利斯;哈维尔·埃斯佩特;丹尼尔·罗梅罗 5 2011 所有引用的出版物 前5名被引用出版物 全部的 前5名32位作者引用 12 玛丽亚·阿尔普恩特 9 黛米斯·巴利斯 9 朱莉娅·萨皮娜 8 圣地亚哥埃斯科瓦尔 8 特默尔库西亚 6 何塞·梅塞盖尔·瓜伊塔 4 亚历山大·鲍姆加特纳 4 大卫·M·塞尔纳。 4 弗朗西斯科·弗雷奇纳 2 哈维尔·埃斯佩特 2 约尔迪·利维 2 马图·维拉雷特 1 阿尔特·卡奇,哈桑 1 伦茨·贝尔兹纳 1 安吉尔·昆卡-奥尔特加 1 弗朗西斯科·杜兰 1 史蒂文·艾克 1 莫雷诺,法拉斯基 1 毛里齐奥·加布里埃利 1 埃尔萨·甘特。 1 李丽怡 1 马蒂·奥利特,纳西索 1 史蒂芬妮·纽伯特 1 卡洛斯·奥拉特 1 卡图西亚帕拉米德斯 1 帕西,加布里埃拉 1 保罗,克莱奥 1 丹尼尔·罗梅罗(Daniel M.Romero)。 1 鲁宾·鲁比奥 1 斯蒂芬·斯基里克 1 卡罗琳·塔尔科特。 1 马丁·威尔辛 全部的 前5名10篇连载文章中引用 4 程序设计中的逻辑和代数方法杂志 2 逻辑程序设计理论与实践 1 模糊集与系统 1 理论计算机科学 1 信息与计算 1 自动推理杂志 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 数学与人工智能年鉴 1 计算机基础理论 在5个字段中引用 28 计算机科学(68至XX) 7 数理逻辑与基础(03-XX) 1 阶、格、有序代数结构(06-XX) 1 一般代数系统(08-XX) 1 结合环与代数(16-XX) 按年份列出的引文