编辑配置文件（在新选项卡中打开） 大卫·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） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用12中的次8文件 引用人▼ 年份▼ 愚蠢的反统一。 Zbl 1433.68188号 戴维·塞尔纳;特默尔库西亚 6 2020 高阶泛化的通用框架。 Zbl 1528.68156号 大卫·M·塞尔纳。;特默尔库西亚 2 2019 简图切割消除和有序鸽子洞原理。 Zbl 1476.03079号 大卫·M·塞尔纳。;亚历山大·莱奇 2 2016 高阶方程模式反统一。 Zbl 1462.68092号 大卫·M·塞尔纳。;特默尔库西亚 1 2018 涵盖的条款并非传播冗余。 Zbl 07614505号 李·巴奈特（Lee A.Barnett）。;戴维·塞尔纳;阿明·比尔 1 2020 愚蠢的反统一。 Zbl 1433.68188号 戴维·塞尔纳;特穆尔库西亚 6 2020 涵盖的条款并非传播冗余。 Zbl 07614505号 李·巴奈特（Lee A.Barnett）。;戴维·塞尔纳;阿米恩·比尔 1 2020 高阶泛化的通用框架。 Zbl 1528.68156号 大卫·M·塞尔纳。;特默尔库西亚 2 2019 高阶方程模式反统一。 Zbl 1462.68092号 大卫·M·塞尔纳。;特默尔库西亚 1 2018 简图切割消除和有序鸽子洞原理。 Zbl 1476.03079号 大卫·M·塞尔纳。;亚历山大·莱奇 2 2016 所有引用出版物 前5名被引用出版物 全部的 前5名13位作者引用 4 大卫·M·塞尔纳。 2 玛丽亚·阿尔普特 2 圣地亚哥埃斯科瓦尔 2 亚历山大·莱奇 2 朱莉娅·萨皮娜 1 黛米斯·巴利斯 1 李·巴奈特（Lee A.Barnett）。 1 阿明·比尔 1 特默尔库西亚 1 阿内拉·洛里奇 1 何塞·梅塞盖尔·瓜伊塔 1 曼弗雷德·施密特·沙乌 1 Daniele Nantes Sobrinho 4篇连载文章中引用 1 理论计算机科学 1 自动推理杂志 1 MSCS公司。计算机科学中的数学结构 1 数学与人工智能年鉴 在3个字段中引用 7 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 1 结合环与代数（16-XX） 按年份列出的引文