编辑配置文件(在新选项卡中打开) 大卫·M·塞尔纳。 合著者距离 作者ID: 塞纳.david-m 发布日期: 大卫·M·塞尔纳。;戴维·塞尔纳 已编制索引的文档: 15出版物自2014年起,包括4个附加arXiv预打印 合著者: 8位合著者具有11联合出版物 162位合作作者 全部的 前5名合著者 4 单作者的 4 特默尔库西亚 三 亚历山大·莱奇 2 迈克尔·彼得·莱特曼 2 阿内拉·洛里奇 1 李·巴奈特(Lee A.Barnett)。 1 阿明·比尔 1 吉赛尔·赖斯 1 西蒙·沃尔夫斯泰纳 系列 1 理论计算机科学 1 纯逻辑与应用逻辑年鉴 1 自动推理杂志 1 MSCS公司。计算机科学中的数学结构 1 ACM计算逻辑事务 领域 8 计算机科学(68至XX) 7 数学逻辑和基础(03-XX) 1 结合环与代数(16-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 5出版物有被引用11中的次7文件 引用人▼ 年份▼ 愚蠢的反统一。 Zbl 1433.68188号 戴维·塞尔纳;特默尔库西亚 5 2020 简图切割消除和有序鸽子洞原理。 Zbl 1476.03079号 大卫·M·塞尔纳。;亚历山大·莱奇 2 2016 高阶泛化的通用框架。 Zbl 1528.68156号 大卫·M·塞尔纳。;特默尔库西亚 2 2019 涵盖的条款并非传播冗余。 兹伯利07614505 李·巴奈特(Lee A.Barnett)。;戴维·塞尔纳;阿明·比尔 1 2020 高阶方程模式反统一。 Zbl 1462.68092号 大卫·M·塞尔纳。;特默尔库西亚 1 2018 愚蠢的反统一。 Zbl 1433.68188号 戴维·塞尔纳;特默尔库西亚 5 2020 涵盖的条款并非传播冗余。 Zbl 07614505号 Barnett,Lee A。;戴维·塞尔纳;阿明·比尔 1 2020 高阶泛化的通用框架。 Zbl 1528.68156号 大卫·M·塞尔纳。;特默尔库西亚 2 2019 高阶方程模式反统一。 Zbl 1462.68092号 大卫·M·塞尔纳。;特默尔库西亚 1 2018 简图切割消除和有序鸽子洞原理。 Zbl 1476.03079号 大卫·M·塞尔纳。;亚历山大·雷奇 2 2016 所有引用出版物 排名前五的出版物 全部的 前5名11位作者引用 4 大卫·M·塞尔纳。 2 玛丽亚·阿尔普特 2 圣地亚哥埃斯科瓦尔 2 亚历山大·莱奇 2 朱莉娅·萨皮娜 1 黛米斯·巴利斯 1 李·巴奈特(Lee A.Barnett)。 1 阿明·比尔 1 特默尔库西亚 1 阿内拉·洛里奇 1 何塞·梅塞盖尔·瓜伊塔 引用于4个系列 1 理论计算机科学 1 自动推理杂志 1 MSCS公司。计算机科学中的数学结构 1 数学与人工智能年鉴 在3个字段中引用 6 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 1 结合环与代数(16-XX) 按年份列出的引文