编辑配置文件(在新选项卡中打开) 大卫·斯普伦格 合著者距离 作者ID: 斯普林格·大卫 发布方式: 戴维·斯普伦格 已编制索引的文档: 12出版物自2013年起,包括2个附加arXiv预打印 合著者: 11位合著者具有9联合出版物 259位合作作者 全部的 前5名合著者 三 单作者的 5 胜本,Shin-ya 4 杰雷米·杜布特 4 一郎·哈索 2 尤拉杰·科尔查克 2 劳伦斯·莫斯。 2 Akihisa山田 1 约尔格恩德鲁利斯 1 Dan R.吉卡。 1 巴特·雅各布斯 1 乔治·凯伊 1 威廉·托恩 系列 1 逻辑与计算杂志 1 程序设计中的逻辑和代数方法杂志 领域 10 计算机科学(68至XX) 5 范畴理论;同调代数(18-XX) 4 数学逻辑和基础(03-XX) 2 数论(11-XX) 2 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用15中的次14文件 引用人▼ 年份▼ 纤维理性的相互刺激和定量推理。 Zbl 1509.18025号 戴维·斯普伦格;胜本,Shin-ya;杰雷米·杜布特;一郎·哈索 7 2018 纤维相互模拟和定量推理:扩展版。 Zbl 1509.18026号 戴维·斯普伦格;胜本,Shin-ya;杰雷米·杜布特;一郎·哈索 4 2021 形态序列的特征值和转导。 Zbl 1426.68155号 戴维·斯普伦格;威廉·托恩;约尔格恩德鲁利斯;劳伦斯·莫斯。 2 2014 有限集函子余代数中行为等价的完整逻辑。 Zbl 1382.68154号 戴维·斯普伦格 1 2016 行为等效逻辑的先同余和参数化共归纳。 Zbl 1433.68261号 戴维·斯普伦格;劳伦斯·莫斯。 1 2017 纤维相互模拟和定量推理:扩展版。 Zbl 1509.18026号 戴维·斯普伦格;胜本,Shin-ya;杰雷米·杜布特;一郎·哈索 4 2021 纤维理性的相互刺激和定量推理。 Zbl 1509.18025号 戴维·斯普伦格;胜本,Shin-ya;杰雷米·杜布特;一郎·哈索 7 2018 行为等效逻辑的先同余和参数化共归纳。 Zbl 1433.68261号 戴维·斯普伦格;劳伦斯·莫斯。 1 2017 有限集函子的余代数中行为等价的一个完整逻辑。 Zbl 1382.68154号 戴维·斯普伦格 1 2016 形态序列的特征值和转导。 Zbl 1426.68155号 戴维·斯普伦格;威廉·托恩;约尔格恩德鲁利斯;劳伦斯·莫斯。 2 2014 所有引用出版物 前5名被引用出版物 全部的 前5名37位作者引用 三 胜本,Shin-ya 三 芭芭拉·柯尼格 2 朱里安·罗特 2 佐藤,铁杉 1 雷娜·巴赫西 1 保罗·巴尔丹 1 哈什·贝哈尔 1 菲利波·邦奇 1 艾米莉·查利尔 1 杰雷米·杜布特 1 约尔格恩德鲁利斯 1 谢尔盖·冈查洛夫 1 一郎·哈索 1 克劳迪奥·赫米达 1 德克·霍夫曼 1 扬·威廉·克鲁普 1 Kori、Mayuko 1 克莱门斯·库普克 1 塞巴斯蒂安·库珀 1 朱利安·勒罗伊 1 米卡·米查尔斯基,克里斯蒂娜 1 佩德罗·诺拉 1 托马索·帕多安 1 Daniela Luan Petrisan 1 Damien Pous 1 美国雷迪。 1 米歇尔·里戈 1 Edmund P.罗宾逊。 1 阿莱西奥·桑塔马利亚 1 卢茨·施罗德 1 戴维·斯普伦格 1 Kohei Suenaga公司 1 鲁本·图肯堡 1 Natsuki Urabe 1 塔尔莫乌斯塔卢 1 威尔德,保罗 1 托尔斯滕·魏斯曼 5篇连载文章中引用 三 MSCS公司。计算机科学中的数学结构 2 计算机科学中的逻辑方法 1 信息学报 1 线性代数及应用 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在6个字段中引用 12 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 三 范畴理论;同调代数(18-XX) 1 组合数学(05-XX) 1 数论(11-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 按年份列出的引文