编辑配置文件(在新选项卡中打开) 卡瓦尔坎蒂·德·莫拉(Cavalcanti de Moura)、弗拉维奥·莱昂纳多(Flávio Leonardo) 合著者距离 作者ID: 黄精胺-l-c 发布日期: 弗拉维奥·德·莫拉。;弗拉维奥·德·莫拉。;德·莫拉,弗拉维奥·莱昂纳多·卡瓦尔坎蒂;德莫拉,F.L.C。 更多。。。较少的 外部链接: MGP公司·ResearchGate研究之门·数据库管理程序·接地 已编制索引的文档: 11出版物自2002年以来,包括1本书 合著者: 6位合著者具有10联合出版物 104位合作作者 全部的 前5名合著者 1 单作者的 10 毛里西奥·阿亚拉·林科恩 6 Kamareddine,费鲁兹D。 2 安德烈亚·博尔赫斯·艾弗拉尔 2 安德烈·路易斯·加尔迪诺 1 巴博萨,A.V。 1 迪莉娅·凯斯纳 系列 1 纯逻辑与应用逻辑年鉴 1 应用非经典逻辑杂志 1 IGPL逻辑杂志 1 应用逻辑杂志 1 计算机科学本科专题 领域 9 计算机科学(68至XX) 7 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用15中的次9文件 引用人▼ 年份▼ 高阶统一:休特方法和基于显式替换的方法之间的结构关系。 Zbl 1138.03014号 弗拉维奥·德·莫拉。;毛里西奥·阿亚拉·林科恩;费尔鲁兹Kamareddine 3 2008 比较并实现显式替换和eta还原的计算。 Zbl 1067.03042号 毛里西奥·阿亚拉·林科恩;弗拉维奥·德·莫拉。;费尔鲁兹Kamareddine 3 2005 SUBSEXPL:用于模拟和比较显式替换计算的工具。 Zbl 1184.68469号 德莫拉,F.L.C。;阿亚拉·林科,M。;卡马雷丁,F。 2 2006 通过显式替换进行二阶匹配。 Zbl 1108.03308号 弗拉维奥·德·莫拉。;费尔鲁兹Kamareddine;毛里西奥·阿亚拉·林科恩 2 2005 远处有明确替代物的结石元汇合。 Zbl 1360.68324号 弗拉维奥·德·莫拉。;迪莉娅·凯斯纳;毛里西奥·阿亚拉·林科恩 2 2014 PVS证明助手中的一阶统一。 Zbl 1407.68430号 安德烈亚·博尔赫斯·艾弗拉尔;安德烈·路易斯·加尔迪诺;弗拉维奥·莱昂纳多·卡瓦尔坎蒂·德·莫拉;毛里西奥Ayala Rincón 2 2014 计算机科学家的应用逻辑。计算演绎和形式证明。 Zbl 1401.03001号 毛里西奥·阿亚拉·林科恩;弗拉维奥·德·莫拉。 1 2017 计算机科学家的应用逻辑。计算演绎和形式证明。 兹比尔1401.03001 毛里西奥·阿亚拉·林科恩;弗拉维奥·德·莫拉。 1 2017 计算与远处显式替换的汇合。 Zbl 1360.68324号 弗拉维奥·德·莫拉。;迪莉娅·凯斯纳;毛里西奥·阿亚拉·林科恩 2 2014 PVS证明助手中的一阶统一。 Zbl 1407.68430号 安德烈亚·博尔赫斯·艾弗拉尔;安德烈·路易斯·加尔迪诺;弗拉维奥·莱昂纳多·卡瓦尔坎蒂·德·莫拉;毛里西奥·阿亚拉·林科恩 2 2014 高阶统一:休特方法和基于显式替换的方法之间的结构关系。 Zbl 1138.03014号 弗拉维奥·德·莫拉。;毛里西奥·阿亚拉·林科恩;费尔鲁兹Kamareddine 3 2008 SUBSEXPL:用于模拟和比较显式替换计算的工具。 Zbl 1184.68469号 德莫拉,F.L.C。;阿亚拉·林科,M。;卡马雷丁,F。 2 2006 比较并实现显式替换和eta还原的计算。 Zbl 1067.03042号 毛里西奥·阿亚拉·林科恩;弗拉维奥·德·莫拉。;费尔鲁兹Kamareddine 3 2005 通过显式替换进行二阶匹配。 兹比尔1108.03308 弗拉维奥·德·莫拉。;费尔鲁兹Kamareddine;毛里西奥·阿亚拉·林科恩 2 2005 所有引用出版物 前5名被引用出版物 全部的 前5名13位作者引用 6 毛里西奥·阿亚拉·林科恩 4 卡瓦尔坎蒂·德·莫拉(Cavalcanti de Moura)、弗拉维奥·莱昂纳多(Flávio Leonardo) 3 Kamareddine,费鲁兹D。 2 安德烈·路易斯·加尔迪诺 2 罗查·奥利维拉,安娜·克里斯蒂娜 1 高仁青藤 1 安德烈亚·博尔赫斯·艾弗拉尔 1 巴博萨,A.V。 1 艾哈迈德·巴亚特 1 德利马,塔纳拉·阿里利 1 玛丽贝尔·费尔南德斯 1 肯塔罗州菊池 1 贾尔斯·里格尔 3篇连载文章中引用 2 自动推理杂志 1 应用非经典逻辑杂志 1 应用逻辑杂志 在5个字段中引用 8 计算机科学(68至XX) 6 数学逻辑和基础(03-XX) 1 交换代数(13-XX) 1 结合环与代数(16-XX) 1 群论与推广(20-XX) 按年份列出的引文