×
编辑配置文件（在新选项卡中打开）

布鲁诺·泽维尔

合著者距离
作者ID： 哈维耶·布鲁诺“Xavier，Bruno”最近发表的zbMATH文章
发布日期： 布鲁诺·泽维尔
已编制索引的文档： 4出版物自2018年以来
合著者： 5位合著者具有4联合出版物
115位合著者

合著者

0 单作者的
4 卡洛斯·奥拉特
2 伊莲·皮门特尔
1 艾米·费尔蒂（Amy P.Felty）。
1 Vivek Nigam先生
1 吉赛尔·赖斯

系列

2 MSCS公司。计算机科学中的数学结构

领域

4 数学逻辑和基础（03-XX）
1 计算机科学（68至XX）

按年份列出的出版物

所有引用出版物 前5名被引用出版物

zbMATH Open中包含的引文

3出版物有被引用10中的次6文件 引用人▼ 年份▼
Coq中的机械化集中线性逻辑。 Zbl 1433.68586号
布鲁诺·泽维尔;卡洛斯·奥拉特;吉赛尔·赖斯;Vivek Nigam先生
5
2018
线性逻辑作为逻辑框架的新观点。 Zbl 1498.03158号
卡洛斯·奥拉特;伊莲·皮门特尔;布鲁诺·泽维尔
4
2020
重点线性逻辑框架及其在对象逻辑元理论中的应用。 Zbl 1529.03275号
艾米·费尔蒂;卡洛斯·奥拉特;布鲁诺·泽维尔
1
2021
重点线性逻辑框架及其在对象逻辑元理论中的应用。 Zbl 1529.03275号
艾米·费尔蒂;卡洛斯·奥拉特;布鲁诺·泽维尔
1
2021
线性逻辑作为逻辑框架的新观点。 Zbl 1498.03158号
卡洛斯·奥拉特;伊莲·皮门特尔;布鲁诺·泽维尔
4
2020
Coq中的机械化集中线性逻辑。 Zbl 1433.68586号
布鲁诺·泽维尔;卡洛斯·奥拉特;吉赛尔·赖斯;Vivek Nigam先生
5
2018
所有引用出版物 前5名被引用出版物
全部的 前5名

11位作者引用

4 卡洛斯·奥拉特
3 伊莲·皮门特尔
3 布鲁诺·泽维尔
1 凯特琳·达布雷拉
1 杰里米·道森。
1 艾米·费尔蒂（Amy P.Felty）。
1 劳尔·费尔瓦里
1 拉杰夫·普拉巴卡尔·戈尔
1 卡米洛·罗查
1 弗朗西斯科·特鲁科
1 贝塔·齐利安尼

2篇连载文章中引用

2 MSCS公司。计算机科学中的数学结构
2 程序设计中的逻辑和代数方法杂志

在2个字段中引用

4 数学逻辑和基础（03-XX）
3 计算机科学（68至XX）

按年份列出的引文