编辑配置文件(在新选项卡中打开) 布鲁诺·本岑 合著者距离 作者ID: bentzen.bruno公司 发布日期: 布鲁诺·本岑 已编制索引的文档: 7出版物自2019年起 1名编辑贡献 合著者: 12位合著者具有3联合出版物 160位合作作者 全部的 前5名合著者 4 单作者的 2 辽、北水 1 陈东恒 1 陈玉林 1 池海晓 1 郭华宇 1 达维德·利加 1 约翰·麦克法兰 1 雷卡·马尔科维奇 1 魏斌 1 熊明辉 1 徐天文 1 姚泽来 1 袁波 系列 1 圣母院形式逻辑期刊 1 计算机科学中的数学结构 1 符号逻辑公报 1 数学哲学。系列III 领域 6 数学逻辑和基础(03-XX) 4 计算机科学(68至XX) 三 一般性和全局性主题;集合(00-XX) 1 历史和传记(01-XX) 1 代数拓扑(55-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 2出版物有被引用6中的次6文件 引用人▼ 年份▼ 模态逻辑S5的亨金式完备性证明。 Zbl 07671034号 布鲁诺·本岑 三 2021 什么类型不应该是。 Zbl 1451.03009号 布鲁诺·本岑 三 2020 模态逻辑S5的亨金式完备性证明。 Zbl 07671034号 布鲁诺·本岑 三 2021 什么类型不应该是。 Zbl 1451.03009号 布鲁诺·本岑 三 2020 所有引用出版物 前5名被引用出版物 全部的 前5名被11位作者引用 1 比扬·艾哈迈迪·卡卡瓦迪 1 科西莫·佩里尼·布罗吉 1 Samuel R.巴斯。 1 克里斯蒂安·哈格梅耶 1 多米尼克·柯斯特 1 安斯滕·默奇·克莱夫 1 马可·马格西 1 赛义德·马苏米 1 莫蒂扎·莫尼里 1 卢卡斯·史蒂文斯 1 亚格迈,阿布托拉布 3篇连载文章中引用 1 圣母院形式逻辑期刊 1 自动推理杂志 1 国际科学哲学研究 在4个字段中引用 5 数学逻辑和基础(03-XX) 2 一般性和全局性主题;集合(00-XX) 2 计算机科学(68至XX) 1 相对论和引力理论(83至XX) 按年份列出的引文