编辑配置文件（在新选项卡中打开） 艾默里·布齐 合著者距离 作者ID： 醇香的 发布日期： 艾默里·布齐 已编制索引的文档： 2出版物自2017年起 合著者： 13位合著者具有2联合出版物 200名Co-Co作者 全部的 前5名合著者 0 单作者的 2 布兰切特，贾斯敏·克里斯蒂安 2 安德烈亚斯·洛赫比勒 2 安德烈·波佩斯库 2 德米特里·特拉泰尔 1 朱利安·比恩达拉 1 马丁·德沙奈斯 1 马蒂亚斯·弗勒里 1 约翰·Hölzl 1 昆查尔，Ondřej 1 费比安·迈尔 1 洛伦茨·帕尼 1 克里斯蒂安·斯特纳格尔 1 雷内·蒂曼 系列 领域 2 计算机科学（68至XX） 1 数理逻辑与基础（03-XX） 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 2出版物有被引用19次15文件 引用人▼ 年份▼ 有利益的朋友。在基础证明助手中实现同位语。 Zbl 1485.68280号 布兰切特，贾斯敏·克里斯蒂安;艾默里·布齐;安德烈亚斯·洛赫比勒;安德烈·波佩斯库;德米特里·特拉泰尔 13 2017 高阶逻辑的基础（co）数据类型和（co）递归。 Zbl 1495.68238号 朱利安·比恩达拉;布兰切特，贾斯敏·克里斯蒂安;艾默里·布齐;马丁·德沙奈斯;马蒂亚斯·弗勒里;约翰·Hölzl;昆查尔，Ondřej;安德烈亚斯·洛赫比勒;费比安·迈尔;洛伦茨·帕尼;安德烈·波佩斯库;克里斯蒂安·斯特纳格尔;雷内·蒂曼;德米特里·特拉泰尔 6 2017 有利益的朋友。在基础证明助手中实现同位语。 Zbl 1485.68280号 布兰切特，贾斯敏·克里斯蒂安;艾默里·布齐;安德烈亚斯·洛赫比勒;安德烈·波佩斯库;德米特里·特拉泰尔 13 2017 高阶逻辑的基础（co）数据类型和（co）递归。 Zbl 1495.68238号 朱利安·比恩达拉;布兰切特，贾斯敏·克里斯蒂安;艾默里·布齐;马丁·德沙奈斯;马蒂亚斯·弗勒里;约翰·Hölzl;昆查尔，Ondřej;安德烈亚斯·洛赫比勒;费比安·迈尔;洛伦茨·帕尼;安德烈·波佩斯库;克里斯蒂安·斯特纳格尔;雷内·蒂曼;德米特里·特拉泰尔 6 2017 所有引用出版物 排名前五的出版物 全部的 前5名34位作者引用 2 安德烈亚斯·阿贝尔（Andreas M.Abel）。 2 布兰切特，贾斯敏·克里斯蒂安 2 洛伦佐·盖里 2 安德烈亚斯·洛赫比勒 2 阿尔贝托·莫米利亚诺 2 碧姬·品特卡 2 Damien Pous 2 德米特里·特拉泰尔 1 纪尧姆·阿拉伊斯 1 奥曼·波霍拉，约翰内斯 1 杰里米·阿维加德 1 David A.Basin。 1 菲律宾邦奇 1 艾默里·布齐 1 杰斯珀·考克斯 1 科恩、利隆 1 何塞·迪瓦松 1 索尔伦·哈拉·埃纳尔斯多蒂尔 1 Aliya Hameer 1 西蒙·胡登 1 穆阿·约翰逊 1 Joosten，Sebastian J.C。 1 巴巴拉·科尼格 1 Petrisan、Daniela Luan 1 安德烈·波佩斯库 1 戴维·桑吉奥吉 1 史蒂文·施费尔 1 安德斯·施利奇特克鲁尔 1 Sefidgar，S.礼萨 1 凯瑟琳·斯塔克 1 大卫·希伯多 1 雷内·蒂曼 1 乌韦州瓦尔德曼 1 Akihisa山田 5篇连载文章中引用 三 自动推理杂志 2 MSCS公司。计算机科学中的数学结构 2 函数编程杂志 1 密码学杂志 1 计算的形式方面 全部的 前5名在6个字段中引用 15 计算机科学（68至XX） 三 数理逻辑与基础（03-XX） 1 场论和多项式（12-XX） 1 交换代数（13-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文