马克·比克福德 构造分析中证明的高效算法。 (英语) Zbl 07725668号 道格拉斯·布里奇斯(编辑)等人,《构造数学手册》。剑桥:剑桥大学出版社。附件。数学。申请。185, 777-805 (2023).MSC公司:03英尺50英寸 03层60 65楼03号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bickford},Encycl(安西科尔)。数学。申请。185777--805(2023年;Zbl 07725668) 全文: 内政部
马克·比克福德;德克斯特·科赞;亚历山德拉·席尔瓦 Moessner定理的形式化及其推广Nuprl公司。 (英语) Zbl 07432496号 J.日志。阿尔盖布。方法计划。 124,文章ID 100713,6 p.(2022)。MSC公司:03B35型 11B83号 13层25 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bickford}等人,J.Log。阿尔盖布。方法计划。124,文章ID 100713,6 p.(2022;Zbl 07432496) 全文: 内政部
文森特·拉里;马克·比克福德;科恩、利隆;罗伯特·康斯特布尔。 棒材归纳法符合构造型理论。 (英语) Zbl 1427.03066号 美国临床医学杂志 66,第2号,第13条,第35页(2019年)。MSC公司:03英尺50英寸 03B38型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{V.Rahli}等人,J.ACM 66,第2号,第13条,第35页(2019;Zbl 1427.03066) 全文: 内政部
阿里尔·凯利森;马克·比克福德;罗伯特·康斯特布尔 在类型理论中实现欧几里德的直尺和指南针构造。 (英语) Zbl 1479.03009号 安。数学。Artif公司。智力。 85,编号2-4,175-192(2019)。 审核人:马可·贝尼尼(布奇纳斯科) MSC公司:03B35型 03楼55 2004年5月5日 03B38型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kellison}等人,Ann.数学。Artif公司。智力。85,编号2--4,175-192(2019;Zbl 1479.03009) 全文: 内政部
马克·比克福德;科恩、利隆;罗伯特·康斯特布尔。;文森特·拉里 通过选择序列超越Church-Turing的可计算性。 (英语) Zbl 1452.03133号 2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集,2018年7月9日至12日,英国牛津,LICS 2018。纽约州纽约市:计算机协会(ACM)。245-254 (2018).MSC公司:03英尺50英寸 03B35型 03B38型 03日30分 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Bickford}等人,发表于:2018年第33届ACM/IEEE计算机科学逻辑年度研讨会论文集,2018年7月9日至12日,英国牛津。纽约州纽约市:计算机协会(ACM)。245--254(2018;Zbl 1452.03133) 全文: 内政部 链接
马克·比克福德 直觉数学中连续统的连通性。 (英语) Zbl 1521.03240号 数学。日志。问:。 64,编号4-5,387-394(2018)。MSC公司:03层60 03楼55 PDF格式BibTeX公司 XML格式引用 \textit{M.Bickford},数学。日志。问64,编号4--5,387--394(2018;Zbl 1521.03240) 全文: 内政部
文森特·拉里;马克·比克福德 使用命名异常验证Brouwer的数字连续性原则。 (英语) Zbl 1390.68584号 数学。结构。计算。科学。 28,第6号,942-990(2018)。MSC公司:68吨15 03B35型 03楼55 03层60 PDF格式BibTeX公司 XML格式引用 \textit{V.Rahli}和\textit{M.Bickford},数学。结构。计算。科学。28,第6号,942--990(2018;Zbl 1390.68584) 全文: 内政部
文森特·拉里;马克·比克福德;罗伯特·康斯特布尔。 棒材感应。好的,坏的,丑陋的。 (英语) Zbl 1457.68298号 2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集,2017年6月20日至23日,冰岛雷克雅未克雷克雅维克大学,LICS 2017。新泽西州皮斯卡塔韦:IEEE出版社。第14条,第12页(2017年)。MSC公司:68伏15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{V.Rahli}等人,摘自:2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2017,雷克雅未克大学,冰岛雷克雅维克,2017年6月20-23日。新泽西州皮斯卡塔韦:IEEE出版社。第14条,第12页(2017;Zbl 1457.68298) 全文: 链接
马克·比克福德;费多·博戈莫洛夫;尤里·钦克尔 弗拉基米尔·沃沃德斯基(Vladimir Voevodsky)——工作与命运。 (英语) Zbl 1384.01041号 欧洲数学。社会新闻。 106, 30-31 (2017)。MSC公司:01A70号 19-03 14-03 11-03 68-03 03-03 PDF格式BibTeX公司 XML格式引用 \textit{M.Bickford}等人,《欧洲数学》。Soc.新闻。106、30--31(2017年;Zbl 1384.01041) 全文: 内政部
罗伯特·康斯特布尔;马克·比克福德 一阶逻辑的直觉完备性。 (英语) Zbl 1345.03114号 Ann.纯粹应用。逻辑 165,第1期,164-198(2014)。MSC公司:03楼55 03B20型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Constable}和\textit{M.Bickford},Ann.纯粹应用。逻辑165,No.1,164--198(2014;Zbl 1345.03114) 全文: 内政部 arXiv公司
马克·比克福德;罗伯特·康斯特布尔 多态逻辑。 (英语) 兹比尔1315.03043 Berger,Ulrich(编辑)等人,《逻辑、构造、计算》。献给赫尔穆特·施维希滕贝格70岁生日。法兰克福:Ontos Verlag;柏林:De Gruyter(ISBN 978-3-11-032453-2-hbk;978-3-86838-158-0/hbk;978-11-032492-1/电子书)。Ontos数学逻辑3,51-65(2012)。MSC公司:03B70号 03B15号机组 03B35型 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bickford}和\textit{R.Constable},Ontos数学。日志。3、51-65(2012;Zbl 1315.03043)
马克·比克福德;罗伯特·康斯特布尔;约瑟夫·哈尔珀;萨宾娜·彼得里德 使用事件结构的分布式系统的基于知识的综合。 (英语) Zbl 1213.68202号 日志。方法计算。科学。 7,第2号,第14号文件,第36页(2011年)。MSC公司:68纳米30 03B42号 65年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Bickford}等人,日志。方法计算。科学。7,第2号,第14号论文,36页(2011年;Zbl 1213.68202) 全文: 内政部
艾伦,S.F。;比克福德,M。;康斯特布尔,R.L。;伊顿,R。;克里茨,C。;洛里戈,L。;E.莫兰。 使用Nuprl的计算类型理论创新。 (英语) Zbl 1107.68090号 J.应用。日志。 4,第4期,428-469(2006)。MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{S.F.Allen}等人,J.Appl。日志。4,第4号,428--469(2006;Zbl 1107.68090) 全文: 内政部