编辑配置文件（在新选项卡中打开） 伯恩哈德·海尼曼 合著者距离 作者ID: 海尼曼·伯恩哈德 发布日期： 伯恩哈德·海尼曼;伯纳德·海尼曼;B.海涅曼。 更多。。。较少的 外部链接： 数据库许可证 编入索引的文档： 45出版物自1984年以来，包括2本书 审查活动： 39评论 合著者： 5位合著者具有5联合出版物 199位合作作者 合著者 40 单作者的 2 亚历山大·普雷斯特尔 2 克劳斯·维赫劳赫 1 安德烈·德罗辛斯基 1 尼尔斯·克里格。 1 佩特拉·穆策尔 全部的 前5名系列 三 Studia Logica公司 2 逻辑与计算杂志 2 应用非经典逻辑杂志 1 数学手稿 1 圣母院形式逻辑杂志 1 理论计算机科学 1 逻辑、语言与信息杂志 1 数学逻辑季刊（MLQ） 1 IGPL逻辑杂志 1 计算机基础理论 1 研讨会，柏林洪堡大学，Sektion Mathematik 全部的 前5名领域 42 数理逻辑与基础（03-XX） 22 计算机科学（68至XX） 三 场论和多项式（12-XX） 1 组合数学（05-XX） 1 代数几何（14-XX） 1 群论与推广（20-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 20出版物被引用50中的次32份文件 引用人▼ 年份▼ 拓扑下一时间逻辑。 Zbl 0917.03010号 伯恩哈德·海尼曼 8 1998 多子集空间的逻辑。 Zbl 1242.03039号 伯恩哈德·海尼曼 7 2010 就有限的估价和订单而言，油田定期关闭。 Zbl 0566.03023号 伯恩哈德·海尼曼;亚历山大·普雷斯特尔 5 1984 就有限的估价和订单而言，油田定期关闭。 Zbl 0555.12008号 B.海涅曼。;A.普雷斯特尔。 4 1984 关于“Henselian值”域的有限交集。 Zbl 0583.12018号 伯恩哈德·海尼曼 三 1985 子集空间模态逻辑的时间方面。 Zbl 0951.03014号 伯恩哈德·海尼曼 三 1999 类似PDL的知识获取逻辑。 Zbl 1188.03021号 伯恩哈德·海尼曼 三 2007 用于对知识和拓扑进行推理的混合逻辑。 Zbl 1202.03030号 伯恩哈德·海尼曼 三 2008 片场不断增长。 Zbl 0957.03028号 伯恩哈德·海尼曼 2 1999 离散下降集合链的一种模态逻辑。 Zbl 1054.03016号 伯恩哈德·海尼曼 2 2004 线性集空间的混合逻辑。 Zbl 1057.03015号 伯恩哈德·海尼曼 1 2004 具有多项式延迟的最大公共子树同构的枚举。 Zbl 1435.05105号 安德烈·德罗辛斯基;伯恩哈德·海尼曼;尼尔斯·克里格;佩特拉·穆策尔 1 2014 支持拓扑推理的混合知识逻辑。 Zbl 1108.68386号 伯恩哈德·海尼曼 1 2004 代数作为知识结构。 Zbl 1156.03319号 伯恩哈德·海尼曼 1 2005 关于“拓扑”中的重叠。 Zbl 1172.03010号 伯恩哈德·海尼曼 1 2006 使用混合逻辑处理子集空间中的函数。 Zbl 1196.03035号 伯恩哈德·海尼曼 1 2010 描述某些拓扑规范的特征。 Zbl 1360.68589号 伯恩哈德·海尼曼 1 2012 子集空间逻辑的拓扑方面（重点是规范模型）。 Zbl 1444.03058号 伯恩哈德·海尼曼 1 2019 将子集空间描述为双拓扑结构。 Zbl 1408.03014号 伯恩哈德·海尼曼 1 2013 扩充子集空间以应对多智能体知识。 Zbl 1474.68336号 伯恩哈德·海尼曼 1 2016 子集空间逻辑的拓扑方面（重点是规范模型）。 Zbl 1444.03058号 伯恩哈德·海尼曼 1 2019 扩充子集空间以应对多智能体知识。 Zbl 1474.68336号 伯恩哈德·海尼曼 1 2016 具有多项式延迟的最大公共子树同构的枚举。 Zbl 1435.05105号 安德烈·德罗辛斯基;伯恩哈德·海尼曼;尼尔斯·克里格;佩特拉·穆策尔 1 2014 将子集空间描述为双拓扑结构。 Zbl 1408.03014号 伯恩哈德·海尼曼 1 2013 描述某些拓扑规范的特征。 Zbl 1360.68589号 伯恩哈德·海尼曼 1 2012 多子集空间的逻辑。 Zbl 1242.03039号 伯恩哈德·海尼曼 7 2010 使用混合逻辑处理子集空间中的函数。 Zbl 1196.03035号 伯恩哈德·海尼曼 1 2010 用于知识和拓扑推理的混合逻辑。 Zbl 1202.03030号 伯恩哈德·海尼曼 三 2008 类似PDL的知识获取逻辑。 Zbl 1188.03021号 伯恩哈德·海尼曼 三 2007 关于“拓扑”中的重叠。 Zbl 1172.03010号 伯恩哈德·海尼曼 1 2006 代数作为知识结构。 Zbl 1156.03319号 伯恩哈德·海尼曼 1 2005 离散下降集合链的一种模态逻辑。 Zbl 1054.03016号 伯恩哈德·海尼曼 2 2004 线性集合空间的混合逻辑。 Zbl 1057.03015号 伯恩哈德·海尼曼 1 2004 支持拓扑推理的知识的混合逻辑。 Zbl 1108.68386号 伯恩哈德·海尼曼 1 2004 子集空间模态逻辑的时间方面。 Zbl 0951.03014号 伯恩哈德·海尼曼 三 1999 片场不断扩大。 Zbl 0957.03028号 伯恩哈德·海尼曼 2 1999 拓扑下一时间逻辑。 Zbl 0917.03010号 伯恩哈德·海尼曼 8 1998 关于“Henselian值”域的有限交集。 Zbl 0583.12018号 伯恩哈德·海尼曼 三 1985 就有限的估价和订单而言，油田定期关闭。 Zbl 0566.03023号 伯恩哈德·海尼曼;亚历山大·普雷斯特尔 5 1984 就有限的估价和订单而言，油田定期关闭。 Zbl 0555.12008号 B.海涅曼。;A.普雷斯特尔。 4 1984 所有引用出版物 前5名被引用出版物 全部的 前5名25位作者引用 10 伯恩哈德·海尼曼 5 艾比克·厄兹根 三 康斯坦蒂诺斯·乔治亚托斯 三 莫什·贾登 三 索菲亚·奈特 三 汉斯·皮特·范·迪特马什 2 亚当·比约恩达尔 2 伊多·埃弗拉特 2 尤里·埃尔肖夫（Yuri Ershov）ĭ列奥尼多维奇（Leonidovich） 2 阿诺·费姆 1 西尔维·安斯科姆 1 阿莱西奥·孔蒂 1 菲利普·迪特曼 1 罗伯托·格罗西 1 Haney，Ryuichi Sebastian 1 黄，范 1 克里斯蒂安·乌尔里克·延森 1 Jochen Koenigsmann 1 刘、胡 1 安德烈亚·马里诺 1 亚历山大·普雷斯特尔 1 弗朗索瓦州施瓦岑特鲁伯 1 洛伦佐·塔蒂尼 1 Versari，卢卡 1 温雪峰 全部的 前5名14篇连载文章中引用 4 数学手稿 三 Studia Logica公司 2 代数与逻辑 2 纯逻辑与应用逻辑年鉴 2 逻辑、语言与信息杂志 1 离散应用数学 1 以色列数学杂志 1 数学合成 1 代数杂志 1 合成 1 理论计算机科学 1 应用非经典逻辑杂志 1 数学逻辑季刊（MLQ） 1 符号逻辑述评 全部的 前5名在9个字段中引用 23 数理逻辑与基础（03-XX） 11 场论和多项式（12-XX） 5 计算机科学（68至XX） 三 代数几何（14-XX） 2 数论（11-XX） 2 群论与推广（20-XX） 1 组合数学（05-XX） 1 一般拓扑结构（54至XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文