编辑配置文件(在新选项卡中打开) 丹尼尔魔杖 合著者距离 作者ID: 纸盒 发布日期: 丹尼尔魔杖 已编制索引的文档: 3出版物自2012年起 合著者: 5位合著者具有3联合出版物 135位合作作者 合著者 0 单作者的 三 贾斯敏·克里斯蒂安·布兰切特 2 乌韦·沃尔德曼 1 贝克尔,海科 1 安德烈·波佩斯库 1 克里斯托夫·韦登巴赫 系列 领域 2 数学逻辑和基础(03-XX) 2 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 三出版物有被引用22中的次17文件 引用人▼ 年份▼ 无λ高阶项的超限Knuth-Bendix阶。 Zbl 1496.03037号 贝克尔,海科;贾斯敏·克里斯蒂安·布兰切特;乌韦·沃尔德曼;丹尼尔魔杖 9 2017 更多与伊莎贝尔的SPASS。具有硬排序和可配置简化的叠加。 Zbl 1360.68742号 贾斯敏·克里斯蒂安·布兰切特;安德烈·波佩斯库;丹尼尔魔杖;克里斯托夫·韦登巴赫 8 2012 无lambda的高阶递归路径顺序。 Zbl 1486.68085号 贾斯敏·克里斯蒂安·布兰切特;乌韦·沃尔德曼;丹尼尔魔杖 5 2017 无λ高阶项的超限Knuth-Bendix阶。 Zbl 1496.03037号 贝克尔,海科;贾斯敏·克里斯蒂安·布兰切特;乌韦·沃尔德曼;丹尼尔魔杖 9 2017 无lambda的高阶递归路径顺序。 Zbl 1486.68085号 贾斯敏·克里斯蒂安·布兰切特;乌韦·沃尔德曼;丹尼尔魔杖 5 2017 更多与伊莎贝尔的SPASS。具有硬排序和可配置简化的叠加。 Zbl 1360.68742号 贾斯敏·克里斯蒂安·布兰切特;安德烈·波佩斯库;丹尼尔魔杖;克里斯托夫·韦登巴赫 8 2012 所有引用出版物 排名前五的出版物 全部的 前5名32位作者引用 8 贾斯敏·克里斯蒂安·布兰切特 三 Böhme,萨沙 三 乌韦·沃尔德曼 2 亚历山大·本特坎普 2 马蒂亚斯·弗勒里 2 塞萨里·卡利西克 2 约瑟夫·乌尔班 1 克里斯托夫·埃瓦尔德·本兹穆勒 1 艾哈迈德·巴亚特 1 玛丽亚·保拉(Maria Paola Bonacina) 1 西蒙·克鲁内斯 1 大卫·格林纳韦 1 托马斯·希伦布兰德 1 Janičić,普雷德拉格 1 丹尼尔·库尔温 1 朱利安·纳布克斯 1 劳伦斯·查尔斯·保尔森 1 安德烈·波佩斯库 1 贾尔斯·里格尔 1 安德斯·施利奇克鲁尔 1 达娜·斯图尔特·斯科特 1 尼古拉斯·斯莫尔博内 1 斯莫尔卡,斯特芬·尤尔夫 1 艾伯特·斯特克迈尔 1 克里斯蒂安·斯特纳格尔 1 杰夫·萨特克利夫 1 图雷特,索菲 1 德米特里·特拉泰尔 1 佩塔·武克米罗维奇 1 丹尼尔魔杖 1 克里斯托夫·韦登巴赫 1 莎拉·温克勒 3篇连载文章中引用 8 自动推理杂志 2 计算机科学中的逻辑方法 1 人工智能通信 在3个字段中引用 16 计算机科学(68至XX) 9 数学逻辑和基础(03-XX) 1 范畴理论;同调代数(18-XX) 按年份列出的引文