编辑配置文件（在新选项卡中打开） 马克·比克福德 合著者距离 作者ID: 比克福德马克 发布日期： 马克·比克福德;比克福德，M。 外部链接： ORCID公司 已编制索引的文档： 18出版物自1991年起 合著者： 18位合著者具有15联合出版物 479名合作作者 全部的 前5名合著者 三 单作者的 9 罗伯特·李，警察 6 文森特·拉里 三 科恩、利隆 2 Joseph Yehuda Halpern 2 克里斯托夫·克里茨 2 萨宾娜·彼得里德 1 Stuart F.艾伦。 1 阿南德，阿比舍克 1 费多·阿列克塞维奇·博戈莫洛夫 1 理查德·伊顿 1 阿里尔·凯利森（Ariel E.Kellison）。 1 德克斯特·C·科赞。 1 刘晓明 1 洛里戈，洛里 1 E.莫兰。 1 亚历山德拉·席尔瓦 1 Tschinkel，尤里 1 罗伯特·范·雷内西 全部的 前5名系列 1 纯逻辑与应用逻辑年鉴 1 MSCS公司。计算机科学中的数学结构 1 数学逻辑季刊（MLQ） 1 数学与人工智能年鉴 1 欧洲数学学会新闻稿 1 美国医学会杂志 1 应用逻辑杂志 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 全部的 前5名领域 14 计算机科学（68至XX） 13 数学逻辑和基础（03-XX） 2 数论（11-XX） 1 历史和传记（01-XX） 1 交换代数（13-XX） 1 代数几何（14-XX） 1 \（K\）理论（19-XX） 1 几何形状（51至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 12出版物有被引用41中的次25文件 引用人▼ 年份▼ 使用Nuprl的计算类型理论的创新。 Zbl 1107.68090号 艾伦，S.F。;比克福德，M。;康斯特布尔，R.L。;伊顿，R。;克里茨，C。;洛里戈，L。;E.莫兰。 15 2006 一阶逻辑的直觉完备性。 Zbl 1345.03114号 罗伯特·康斯特布尔;马克·比克福德 6 2014 由单调库支持的验证定理证明器后端。 Zbl 1409.68262号 文森特·拉里;科恩、利隆;马克·比克福德 三 2018 使用命名异常验证Brouwer的数字连续性原则。 Zbl 1390.68584号 文森特·拉里;马克·比克福德 三 2018 棒材感应。好的，坏的，丑陋的。 Zbl 1457.68298号 文森特·拉里;马克·比克福德;罗伯特·康斯特布尔。 三 2017 通过选择序列超越Church-Turing的可计算性。 Zbl 1452.03133号 马克·比克福德;科恩、利隆;罗伯特·康斯特布尔。;文森特·拉里 三 2018 使用计算等价性和部分类型在Nuprl中进行形式化程序优化。 兹比尔1317.68231 文森特·拉里;马克·比克福德;阿南德，阿比舍克 2 2013 使用事件结构的分布式系统的基于知识的综合。 Zbl 1108.68491号 马克·比克福德;罗伯特·康斯特布尔。;约瑟夫·霍尔珀（Joseph Y.Halpern）。;萨宾娜·佩特里德 2 2005 证明混合协议正确。 Zbl 1005.68527号 马克·比克福德;克里斯托夫·克里茨;罗伯特·范·雷内西;刘晓明 1 2001 棒材归纳法符合构造型理论。 Zbl 1427.03066号 文森特·拉里;马克·比克福德;科恩、利隆;罗伯特·康斯特布尔。 1 2019 多态逻辑。 兹比尔1315.03043 马克·比克福德;罗伯特·康斯特布尔 1 2012 Moessner定理的形式化及其推广Nuprl公司. Zbl 07432496号 马克·比克福德;德克斯特·科赞;亚历山德拉·席尔瓦 1 2022 Moessner定理的形式化及其推广Nuprl公司. Zbl 07432496号 马克·比克福德;德克斯特·科赞;亚历山德拉·席尔瓦 1 2022 棒材归纳法符合构造型理论。 Zbl 1427.03066号 文森特·拉里;马克·比克福德;科恩、利隆;罗伯特·康斯特布尔。 1 2019 由单调库支持的验证定理证明器后端。 Zbl 1409.68262号 文森特·拉里;科恩、利隆;马克·比克福德 三 2018 使用命名异常验证Brouwer的数字连续性原则。 Zbl 1390.68584号 文森特·拉里;马克·比克福德 三 2018 通过选择序列超越Church-Turing的可计算性。 Zbl 1452.03133号 马克·比克福德;科恩、利隆;罗伯特·康斯特布尔。;文森特·拉里 三 2018 棒材感应。好的，坏的，丑陋的。 Zbl 1457.68298号 文森特·拉里;马克·比克福德;罗伯特·康斯特布尔。 三 2017 一阶逻辑的直觉完备性。 Zbl 1345.03114号 罗伯特·康斯特布尔;马克·比克福德 6 2014 使用计算等价性和部分类型在Nuprl中进行形式化程序优化。 兹比尔1317.68231 文森特·拉里;马克·比克福德;阿南德，阿比舍克 2 2013 多态逻辑。 Zbl 1315.03043号 马克·比克福德;罗伯特·康斯特布尔 1 2012 使用Nuprl的计算类型理论创新。 Zbl 1107.68090号 艾伦，S.F。;比克福德，M。;警员，R.L。;伊顿，R。;克里茨，C。;洛里戈，L。;E.莫兰。 15 2006 使用事件结构的分布式系统的基于知识的综合。 Zbl 1108.68491号 马克·比克福德;罗伯特·康斯特布尔。;约瑟夫·霍尔珀（Joseph Y.Halpern）。;萨宾娜·彼得里德 2 2005 证明混合协议正确。 Zbl 1005.68527号 马克·比克福德;克里斯托夫·克里茨;罗伯特·范·雷内西;刘晓明 1 2001 所有引用出版物 前5名被引用出版物 全部的 前5名40位作者引用 5 罗伯特·李，警察 4 马克·比克福德 三 科恩、利隆 2 卡洛·安吉利 2 克里斯托弗·詹金斯 2 弗洛里安·拉贝 2 文森特·拉里 2 乔纳森·斯特林 2 阿伦·斯塔姆 1 斯图亚特·艾伦。 1 大卫·阿斯皮纳尔 1 巴博萨、路易斯·索亚雷斯 1 弗朗西斯科·西罗洛 1 丹尼，尤恩 1 拉里·迪尔 1 理查德·伊顿 1 索菲亚·阿布瑞·法罗 1 彼得·甘米 1 丹尼尔·格拉泽 1 Joseph Yehuda Halpern 1 罗伯特·哈珀 1 佩德罗·兰格尔·恩里克 1 Hou（Favonia）、Kuen-Bang 1 阿里尔·凯利森（Ariel E.Kellison）。 1 迈克尔·科尔哈斯 1 克里斯托夫·克里茨 1 洛里戈，洛里 1 罗朝晖 1 克里斯托弗·吕思 1 格雷戈里·马莱查 1 E.莫兰。 1 格雷格·莫里塞特 1 何塞·努诺，奥利维拉 1 萨宾娜·彼得里德 1 豪尔赫·索萨·品托 1 戴维·里纳尔迪 1 彼得·迈克尔·舒斯特 1 罗斯·泰特 1 瑞安·威斯内斯基 1 徐创杰 全部的 前5名11篇连载文章中引用 三 计算机科学中的逻辑方法 2 MSCS公司。计算机科学中的数学结构 1 纯逻辑与应用逻辑年鉴 1 符号计算杂志 1 自动推理杂志 1 分布式计算 1 函数编程杂志 1 数学与人工智能年鉴 1 应用逻辑杂志 1 计算机科学中的数学 1 程序设计中的逻辑和代数方法杂志 在3个字段中引用 21 计算机科学（68至XX） 17 数学逻辑和基础（03-XX） 1 几何形状（51至XX） 按年份列出的引文