×

兹马思-数学第一资源

比克福德,马克

计算距离:
作者ID: 比克福德马克 最近的zbMATH文章由“Bickford,Mark”
发布为: 比克福德,M。;比克福德,马克
外部链接: 半兽人
编制索引的文档: 16种出版物1991年以来

按年份列出的出版物

zbMATH公开赛中包含的引文

7出版物有被引用19时间14份文件 引用人
使用Nuprl计算类型理论的创新。 Zbl公司 1107.68090
艾伦,S。F。;比克福德,M。;康斯特布尔,R。L。;伊顿,R。;克雷茨,C。;洛里戈,L。;莫兰,E。
7
2006
一阶逻辑的直觉完备性。 Zbl公司 1345.03114
警察,罗伯特;比克福德,马克
4
2014
使用命名异常验证Brouwer的数字连续性原则。 Zbl公司 1390.68584
拉利,文森特;比克福德,马克
2
2018
Nuprl中基于计算等价和部分类型的形式化程序优化。 Zbl公司 1317.68231
拉利,文森特;比克福德,马克;阿南,阿披实
2
2013
基于知识的分布式系统事件结构综合。 Zbl公司 1108.68491
比克福德,马克;警官,罗伯特·C。;哈珀,约瑟夫Y。;佩特里德,萨比纳
2
2005
多态逻辑。 Zbl公司 1315.03043
比克福德,马克;警察,罗伯特
1
2012
证明混合协议正确。 Zbl公司 1005.68527
比克福德,马克;克里茨,克里斯托夫;范瑞斯,强盗;刘晓明
1
2001
使用命名异常验证Brouwer的数字连续性原则。 Zbl公司 1390.68584
拉利,文森特;比克福德,马克
2
2018
一阶逻辑的直觉完备性。 Zbl公司 1345.03114
警察,罗伯特;比克福德,马克
4
2014
Nuprl中基于计算等价和部分类型的形式化程序优化。 Zbl公司 1317.68231
拉利,文森特;比克福德,马克;阿南,阿披实
2
2013
多态逻辑。 Zbl公司 1315.03043
比克福德,马克;警察,罗伯特
1
2012
使用Nuprl计算类型理论的创新。 Zbl公司 1107.68090
艾伦,S。F。;比克福德,M。;警官R.R。L。;伊顿,R。;克雷茨,C。;洛里戈,L。;莫兰,E。
7
2006
基于知识的分布式系统事件结构综合。 Zbl公司 1108.68491
比克福德,马克;警官,罗伯特·C。;哈珀,约瑟夫Y。;佩特里德,萨比纳
2
2005
证明混合协议正确。 Zbl公司 1005.68527
比克福德,马克;克里茨,克里斯托夫;范瑞斯,强盗;刘晓明
1
2001

按年份列出的引文