编辑配置文件（在新选项卡中打开） 贝尔德，大卫 合著者距离 作者ID： 贝尔德·大卫 发布方式： 大卫·巴尔德 已编制索引的文档： 17出版物自2007年起 3作为编辑的贡献 合著者： 21位合著者具有17联合出版物 353联合作者 全部的 前5名合著者 三 单作者的 4 卢卡·赫斯基 4 亚历克西斯·索林 三 斯特凡尼德劳恩 三 阿米娜·杜马内 三 戴尔·艾伦·米勒 三 戈帕兰·纳达图尔 三 西尔万·施密茨 2 Carayol，阿诺 2 安东尼·利克 1 考斯托夫·乔杜里 1 Courtieu，Pierre皮埃尔 1 艾米·费尔蒂（Amy P.Felty）。 1 安德鲁·盖切克 1 大卫·格罗斯·阿姆巴拉德 1 西蒙·卢内尔 1 拉尔夫·马提斯 1 克里斯汀·保林·莫林 1 斯诺，扎卡里 1 阿文·费南托（Alwen Fernanto Tiu） 1 伊戈尔·瓦卢基维奇 1 王玉婷 全部的 前5名系列 1 MSCS公司。计算机科学中的数学结构 1 计算机基础理论 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 1 形式化推理杂志 1 理论计算机科学电子论文集（EPTCS） 领域 14 数学逻辑和基础（03-XX） 12 计算机科学（68-XX） 三 总体主题；集合（00-XX） 三 信息和通信理论，电路（94-XX） 1 历史和传记（01-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 14出版物有被引用106中的次76文件 引用人▼ 年份▼ Abella：关于关系规范的推理系统。 Zbl 1451.68315号 大卫·巴尔德;考斯托夫·乔杜里;安德鲁·加塞克;戴尔·米勒;戈帕兰·纳达图尔;Tiu，Alwen先生;王玉婷 25 2014 线性逻辑中的最小和最大不动点。 Zbl 1352.03072号 贝尔德，大卫 21 2012 线性逻辑中的最小和最大不动点。 Zbl 1137.03323号 大卫·巴尔德;戴尔·米勒 18 2007 无穷大证明理论：乘法加法的情况。 Zbl 1370.03077号 大卫·巴尔德;阿米娜·杜马内;亚历克西斯·索林 14 2016 关于最小类属量化的表达性。 Zbl 1337.03038号 大卫·巴尔德 6 2009 有限数据树上模态逻辑的序列演算。 Zbl 1370.03043号 大卫·巴尔德;西蒙·卢内尔;西尔万·施密茨 5 2016 关于正则不动点的证明理论。 Zbl 1260.03108号 大卫·巴尔德 三 2009 安全协议的部分降阶。 Zbl 1374.68318号 大卫·巴尔德;斯特凡尼德劳恩;卢卡·赫斯基 三 2015 通过线性时间演算中的证明搜索走向完备性：Büchi包含的情况。 Zbl 1401.68193号 阿米娜·杜马内;大卫·巴尔德;卢卡·赫斯基;亚历克西斯·索林 三 2016 安全协议等价物的POR。超越行动决定。 Zbl 1496.68055号 大卫·巴尔德;斯特凡尼德劳恩;卢卡·赫斯基 2 2018 结合演绎模和定点定义的逻辑。 兹比尔1361.68132 大卫·巴尔德;戈帕兰·纳达图尔 2 2012 集中归纳定理证明。 兹比尔1291.68322 大卫·巴尔德;戴尔·米勒;斯诺，扎卡里 2 2010 用于确定跟踪等价性的简化语义。 Zbl 1448.68326号 大卫·巴尔德;斯特凡尼德劳恩;卢卡·赫斯基 1 2017 线性框架的超连续微积分。 Zbl 1418.03066号 大卫·巴尔德;安东尼·利克;西尔万·施密茨 1 2018 安全协议等效的POR。超越行动决定。 Zbl 1496.68055号 大卫·巴尔德;斯特凡尼德劳恩;卢卡·赫斯基 2 2018 线性框架的超连续微积分。 Zbl 1418.03066号 大卫·巴尔德;安东尼·利克;西尔万·施密茨 1 2018 用于确定跟踪等价性的简化语义。 Zbl 1448.68326号 大卫·巴尔德;斯特凡尼德劳恩;卢卡·赫斯基 1 2017 无穷证明理论：乘法加法情形。 Zbl 1370.03077号 大卫·巴尔德;阿米娜·杜马内;亚历克西斯·索林 14 2016 有限数据树上模态逻辑的一种逐次演算。 Zbl 1370.03043号 大卫·巴尔德;西蒙·卢内尔;施密茨，西尔万 5 2016 通过线性时间演算中的证明搜索走向完备性：Büchi包含的情况。 Zbl 1401.68193号 阿米娜·杜马内;大卫·巴尔德;卢卡·赫斯基;亚历克西斯·索林 三 2016 安全协议的部分降阶。 Zbl 1374.68318号 大卫·巴尔德;斯特凡尼德劳恩;卢卡·赫斯基 三 2015 Abella：关于关系规范的推理系统。 兹比尔1451.68315 大卫·巴尔德;考斯托夫·乔杜里;安德鲁·加塞克;戴尔·米勒;戈帕兰·纳达图尔;Tiu，Alwen先生;王玉婷 25 2014 线性逻辑中的最小和最大不动点。 Zbl 1352.03072号 大卫·巴尔德 21 2012 结合演绎模和定点定义的逻辑。 Zbl 1361.68132号 大卫·巴尔德;戈帕兰·纳达图尔 2 2012 集中归纳定理证明。 Zbl 1291.68322号 大卫·巴尔德;戴尔·米勒;斯诺，扎卡里 2 2010 关于最小类属量化的表达性。 Zbl 1337.03038号 大卫·巴尔德 6 2009 关于正则不动点的证明理论。 Zbl 1260.03108号 大卫·巴尔德 三 2009 线性逻辑中的最小和最大不动点。 兹比尔1137.03323 大卫·巴尔德;戴尔·米勒 18 2007 所有引用出版物 前5名被引用出版物 全部的 前5名95位作者引用 10 戴尔·艾伦·米勒 5 考斯托夫·乔杜里 4 大卫·巴尔德 4 卡洛斯·奥拉特 4 碧姬·品特卡 4 伊莱恩·皮门特尔 三 达斯，阿努帕姆 三 斯特凡尼德劳恩 三 劳尔·费尔瓦里 三 罗斯·霍恩 三 阿尔贝托·莫米利亚诺 三 弗兰克·芬宁 2 塞尔吉奥·阿布里奥拉 2 卡洛斯·阿雷塞斯 2 Brock Nannestad，陶斯 2 皮埃尔·克莱兰堡 2 科恩、利隆 2 乔尔·德斯佩鲁 2 圣地亚哥菲格拉 2 安德鲁·加塞克 2 尼古拉斯，猜猜看 2 希思，昆廷 2 卢卡·赫斯基 2 库兹涅佐夫（Kuznetsov，Stepan L'vovich） 2 戈帕兰·纳达图尔 2 吉赛尔·赖斯 2 亚历克西斯·索林 2 克里斯汀·塔森 2 大卫·希伯多 2 阿文·费南托（Alwen Fernanto Tiu） 1 贝尼亚米·阿卡托利 1 阿夫沙里语、巴哈雷语 1 安基永 1 法拉·瓦达尼 1 纪尧姆·安巴尔 1 罗伯特·艾奇 1 蒂鲍特·巴拉邦斯基 1 塔贾纳Ban Kirigin 1 斯特凡诺·贝拉尔迪 1 凯·布伦勒 1 路易斯·凯雷斯 1 詹姆斯·切尼 1 扎卡里亚奇哈尼 1 马蒂奥·奇米尼 1 德拉赫尚、法扎内赫 1 玛丽亚·艾米丽亚·德斯科特 1 亨利·德扬 1 艾米·费尔蒂。 1 迭戈·菲格拉 1 洛伦佐·盖里 1 玛丽安娜·吉兰多 1 费卢西奥·圭迪 1 尤里安·黑格 1 哈默（Russ Harmer） 1 安德烈·因德泽扎克（Andrzej Indrzejczak） 1 罗汉·雅各布·劳 1 Jonas Pilgaard凯撒 1 Max Iosifovich，卡诺维奇 1 安托万·兰科 1 格雷厄姆·埃米尔·利 1 塞尔盖·伦格利特 1 Chuck Liang先生 1 托默·利巴尔 1 安东尼·利克 1 马可·曼托瓦尼 1 绍克·莫 1 纪尧姆·梅尔金德 1 吉勒莫梅内德斯·图拉塔 1 Vivek Nigam先生 1 雷米·诺列特 1 罗利·佩雷拉 1 兰科·佩罗维奇 1 Damien Pous 1 费边·雷诺 1 鲁本·罗伊，N.S。 1 克劳迪奥·萨塞尔多蒂·科恩 1 尤里·萨瓦泰耶夫 1 安德烈·斯克洛夫 1 阿兰·施密特 1 西尔万·施密茨 1 亚历杭德罗·塞拉诺 1 Daniyar S.Shamkanov。 1 亚历克斯·K·辛普森。 1 格特·斯莫尔卡 1 斯诺，扎卡里 1 卢茨斯特拉汉堡 1 托马斯·施图德 1 卡罗琳·塔尔科特。 1 恩里科·塔西 1 Makoto Tatsuta 1 贝尔纳多·托尼尼奥 1 莱昂内尔·沃克斯 1 亚历山大·维埃尔 1 王玉婷 1 尤尔科夫，塞门 全部的 前5名15篇连载文章中引用 7 自动推理杂志 7 MSCS公司。计算机科学中的数学结构 4 计算机科学中的逻辑方法 三 理论计算机科学 三 纯逻辑与应用逻辑年鉴 2 数学与人工智能年鉴 2 逻辑程序设计理论与实践 2 符号逻辑述评 1 计算机与系统科学杂志 1 信息与计算 1 计算的形式方面 1 应用逻辑杂志 1 SibirskieÉlektronnye Matematicheskie Izvestiya 1 程序设计中的逻辑和代数方法杂志 1 伦敦皇家学会哲学学报。A.数学、物理和工程科学 在5个字段中引用 57 计算机科学（68-XX） 50 数学逻辑和基础（03-XX） 三 信息和通信理论，电路（94-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 范畴理论；同调代数（18-XX） 按年份列出的引文