×
作者ID: 贝尔德·大卫“Baelde,David”最近发表的zbMATH文章
发布日期: 贝尔德,大卫
已编制索引的文档: 17出版物自2007年起
3作为编辑的贡献
合著者: 21位合著者具有17联合出版物
350位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

14出版物有被引用100次中的次72文件 引用人 年份
Abella:关于关系规范的推理系统。 Zbl 1451.68315号
大卫·巴尔德;考斯托夫·乔杜里;安德鲁·加塞克;戴尔·米勒;戈帕兰·纳达图尔;蒂乌,阿尔文;王玉婷
22
2014
线性逻辑中的最小和最大不动点。 Zbl 1352.03072号
大卫·巴尔德
20
2012
线性逻辑中的最小和最大不动点。 Zbl 1137.03323号
大卫·巴尔德;戴尔·米勒
17
2007
无穷证明理论:乘法加法情形。 Zbl 1370.03077号
大卫·巴尔德;阿米娜·杜马内;亚历克西斯·索林
13
2016
关于最小类属量化的表达性。 兹比尔1337.03038
贝尔德,大卫
6
2009
有限数据树上模态逻辑的序列演算。 Zbl 1370.03043号
大卫·巴尔德;西蒙·卢内尔;西尔万·施密茨
5
2016
关于正则不动点的证明理论。 Zbl 1260.03108号
大卫·巴尔德
2009
安全协议的部分降阶。 Zbl 1374.68318号
大卫·巴尔德;斯特凡尼德劳恩;卢卡赫希
2015
通过线性时间演算中的证明搜索走向完备性:Büchi包含的情况。 Zbl 1401.68193号
阿米娜·杜马内;大卫·巴尔德;卢卡·赫斯基;亚历克西斯·索林
2016
集中归纳定理证明。 Zbl 1291.68322号
大卫·巴尔德;戴尔·米勒;斯诺,扎卡里
2
2010
结合演绎模和定点定义的逻辑。 Zbl 1361.68132号
大卫·巴尔德;戈帕兰·纳达图尔
2
2012
安全协议等价物的POR。超越行动决定。 Zbl 1496.68055号
大卫·巴尔德;斯特凡尼德劳恩;卢卡·赫斯基
2
2018
用于确定跟踪等价性的简化语义。 Zbl 1448.68326号
大卫·巴尔德;斯特凡尼德劳恩;卢卡·赫斯基
1
2017
线性框架的超连续微积分。 兹伯利1418.03066
贝尔德,大卫;安东尼·利克;西尔万·施密茨
1
2018
安全协议等价物的POR。超越行动决定。 Zbl 1496.68055号
大卫·巴尔德;斯特凡尼德劳恩;卢卡·赫斯基
2
2018
线性框架的超连续微积分。 Zbl 1418.03066号
大卫·巴尔德;安东尼·利克;施密茨,西尔万
1
2018
用于确定跟踪等价性的简化语义。 Zbl 1448.68326号
大卫·巴尔德;斯特凡尼德劳恩;卢卡·赫斯基
1
2017
无穷证明理论:乘法加法情形。 Zbl 1370.03077号
大卫·巴尔德;阿米娜·杜马内;亚历克西斯·索林
13
2016
有限数据树上模态逻辑的序列演算。 Zbl 1370.03043号
大卫·巴尔德;西蒙·卢内尔;西尔万·施密茨
5
2016
通过线性时间演算中的证明搜索走向完备性:Büchi包含的情况。 Zbl 1401.68193号
阿米娜·杜马内;大卫·巴尔德;卢卡·赫斯基;亚历克西斯·索林
2016
安全协议的部分降阶。 Zbl 1374.68318号
大卫·巴尔德;斯特凡尼德劳恩;卢卡·赫斯基
2015
Abella:一个对关系规范进行推理的系统。 兹比尔1451.68315
大卫·巴尔德;考斯托夫·乔杜里;安德鲁·加塞克;戴尔·米勒;戈帕兰·纳达图尔;蒂乌,阿尔文;王玉婷
22
2014
线性逻辑中的最小和最大不动点。 Zbl 1352.03072号
大卫·巴尔德
20
2012
结合演绎模和定点定义的逻辑。 Zbl 1361.68132号
大卫·巴尔德;戈帕兰·纳达图尔
2
2012
聚焦归纳定理证明。 Zbl 1291.68322号
大卫·巴尔德;戴尔·米勒;斯诺,扎卡里
2
2010
关于最小类属量化的表达性。 Zbl 1337.03038号
大卫·巴尔德
6
2009
关于正则不动点的证明理论。 Zbl 1260.03108号
大卫·巴尔德
2009
线性逻辑中的最小和最大不动点。 Zbl 1137.03323号
大卫·巴尔德;戴尔·米勒
17
2007
全部的 前5名

90位作者引用

9 戴尔·艾伦·米勒
4 大卫·巴尔德
4 考斯托夫·乔杜里
4 阿尔贝托·莫米利亚诺
4 卡洛斯·奥拉特
4 碧姬·品特卡
4 伊莱恩·皮门特尔
达斯,阿努帕姆
斯特凡尼德劳恩
劳尔·费尔瓦里
罗斯·霍恩
弗兰克·芬宁
2 塞尔吉奥·阿布里奥拉
2 卡洛斯·阿雷塞斯
2 布洛克-南内斯塔德,陶斯
2 皮埃尔·克莱兰堡
2 科恩、利隆
2 乔尔·德斯佩鲁
2 圣地亚哥菲格拉
2 安德鲁·加塞克
2 尼古拉斯,猜猜看
2 希思,昆廷
2 卢卡·赫斯基
2 斯捷潘·勒沃维奇,库兹涅佐夫
2 戈帕兰·纳达图尔
2 吉赛尔·赖斯
2 克里斯汀·塔森
2 大卫·希伯多
2 阿文·费南托(Alwen Fernanto Tiu)
1 贝尼亚米·阿卡托利
1 阿夫沙里语、巴哈雷语
1 安基永
1 纪尧姆·安巴尔
1 罗伯特·艾奇
1 蒂鲍特·巴拉邦斯基
1 塔贾纳Ban Kirigin
1 斯特凡诺·贝拉尔迪
1 凯·布伦勒
1 路易斯·凯雷斯
1 扎卡里亚·奇哈尼
1 马蒂奥·奇米尼
1 德拉赫尚、法扎内赫
1 玛丽亚·艾米丽亚·德斯科特
1 亨利·德扬
1 艾米·费尔蒂(Amy P.Felty)。
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 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 塞门·尤尔科夫

按年份列出的引文