编辑配置文件（在新选项卡中打开） 布鲁诺沃尔岑洛格尔古 合著者距离 作者ID： woltzenlogel-paleo.bruno公司 发布日期： 布鲁诺沃尔岑洛格尔古；古布鲁诺-沃尔岑洛格尔 外部链接： MGP公司 已编制索引的文档： 25份出版物自2008年以来，包括1个附加arXiv预打印 3作为编辑的贡献 合著者： 14位合著者具有18联合出版物 224位合作作者 全部的 前5名合著者 6 单作者的 7 克里斯托夫·埃瓦尔德·本兹穆勒 4 亚历山大·莱奇 三 帕斯卡·方丹 三 吉赛尔·雷斯 三 丹尼尔·韦勒（Daniel S.Weller）。 2 简·戈兹尼 2 斯特凡·赫兹尔 2 斯蒂芬·默兹 1 约瑟夫·布杜 1 戴维·戴哈贝 1 大卫·德拉哈耶 1 凯瑟琳·杜布瓦 1 茨维坦·邓切夫 1 安德烈亚斯·费尔纳 1 安妮卡·坎科斯 1 托梅尔·利巴尔 1 埃泽奎尔·波斯坦 1 利昂·韦伯 全部的 前5名系列 2 逻辑与计算杂志 1 应用数学与计算 1 Studia Logica公司 1 MSCS公司。计算机科学中的数学结构 1 系统设计中的形式化方法 1 逻辑研究（伦敦） 1 泛逻辑 1 理论计算机科学电子论文集（EPTCS） 领域 25 数理逻辑与基础（03-XX） 17 计算机科学（68至XX） 三 总体主题；集合（00-XX） 1 量子理论（81-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 22出版物有被引用103中的次68文件 引用人▼ 年份▼ 在Coq证明助手中与模态逻辑交互。 Zbl 1465.03051号 克里斯托夫·本兹穆勒；古布鲁诺-沃尔岑洛格尔 25 2015 Herbrand连续提取。 Zbl 1166.68347号 斯特凡·赫兹尔；亚历山大·莱奇；丹尼尔·韦勒；布鲁诺沃尔岑洛格尔古 17 2008 用高阶自动化定理证明器自动化哥德尔对上帝存在的本体论证明。 Zbl 1366.03169号 克里斯托夫·本兹穆勒；布鲁诺沃尔岑洛格尔古 13 2014 利用SMT问题中的对称性。 Zbl 1341.68187号 戴维·戴哈贝；帕斯卡·方丹；斯蒂芬·默兹；布鲁诺沃尔岑洛格尔古 10 2011 安德森-哈耶克本体论争议的计算机辅助分析。 Zbl 1417.03131号 Benzmüller，C。；利昂·韦伯；布鲁诺沃尔岑洛格尔古 10 2017 通过分辨率引入原子切割：证明结构和压缩。 Zbl 1253.03085号 布鲁诺沃尔岑洛格尔古 9 2010 通过部分正则化对命题分解证明进行压缩。 Zbl 1341.68188号 帕斯卡·方丹；斯蒂芬·默兹；布鲁诺沃尔岑洛格尔古 6 2011 高阶模态逻辑：自动化和应用。 Zbl 1358.68273号 克里斯托夫·本兹穆勒；布鲁诺沃尔岑洛格尔古 6 2015 通过降低子函数压缩命题分解证明。 Zbl 1401.68274号 约瑟夫·布杜；布鲁诺沃尔岑洛格尔古 4 2013 二阶逻辑中证明分析的子句方法。 Zbl 1211.03018号 斯特凡·赫兹尔；亚历山大·莱奇；丹尼尔·韦勒；布鲁诺沃尔岑洛格尔古 三 2009 所有关于证据，所有证据。 Zbl 1334.03007号 三 2015 证据系统百科全书。第二版。 兹比尔1395.03001 三 2017 哥德尔本体论中不一致性的对象逻辑解释。 Zbl 1370.68258号 克里斯托夫·本兹穆勒；布鲁诺沃尔岑洛格尔古 三 2016 通过解决方案减少削减冗余。 兹比尔1444.03163 布鲁诺沃尔岑洛格尔古 三 2017 通过降低单位子句来压缩一阶分辨率证明。 Zbl 1465.68283号 简·戈兹尼；布鲁诺沃尔岑洛格尔古 2 2015 论逻辑嵌入与哥德尔的上帝。 Zbl 1472.03013号 克里斯托夫·本兹穆勒；古布鲁诺-沃尔岑洛格尔 2 2015 直觉主义逻辑中的CER。 Zbl 1252.03124号 亚历山大·莱奇；吉赛尔·雷斯；布鲁诺沃尔岑洛格尔古 1 2012 物理学和证明理论。 Zbl 1291.81015号 古布鲁诺-沃尔岑洛格尔 1 2012 上下文自然演绎。 Zbl 1437.03045号 布鲁诺沃尔岑洛格尔古 1 2013 系统描述：证明转换系统CERES。 Zbl 1291.68338号 茨维坦·邓切夫；亚历山大·莱奇；托默·利巴尔；丹尼尔·韦勒；布鲁诺沃尔岑洛格尔古 1 2010 自然演绎演算中哥德尔本体论证明的变体。 Zbl 1417.03153号 安妮卡·坎科斯；Woltzenlogel古，B。 1 2017 同余闭包的小冲突集生成的NP-完备性。 Zbl 1377.68090号 安德烈亚斯·费尔纳；帕斯卡·方丹；古布鲁诺-沃尔岑洛格尔 1 2017 安德森-哈耶克本体论争议的计算机辅助分析。 Zbl 1417.03131号 Benzmüller，C。；利昂·韦伯；布鲁诺沃尔岑洛格尔古 10 2017 证据系统百科全书。第二版。 Zbl 1395.03001号 三 2017 通过解决方案减少削减冗余。 Zbl 1444.03163号 布鲁诺沃尔岑洛格尔古 三 2017 自然演绎演算中哥德尔本体论证明的变体。 Zbl 1417.03153号 安妮卡·坎科斯；Woltzenlogel古，B。 1 2017 同余闭包小冲突集生成的NP完备性。 Zbl 1377.68090号 安德烈亚斯·费尔纳；帕斯卡·方丹；古布鲁诺-沃尔岑洛格尔 1 2017 哥德尔本体论中不一致性的对象逻辑解释。 兹比尔1370.68258 克里斯托夫·本兹穆勒；布鲁诺沃尔岑洛格尔古 三 2016 在Coq证明助手中与模态逻辑交互。 Zbl 1465.03051号 克里斯托夫·本兹穆勒；古布鲁诺-沃尔岑洛格尔 25 2015 高阶模态逻辑：自动化和应用。 Zbl 1358.68273号 克里斯托夫·本兹穆勒；布鲁诺沃尔岑洛格尔古 6 2015 所有关于证据，所有证据。 Zbl 1334.03007号 三 2015 通过降低单位子句来压缩一阶分辨率证明。 Zbl 1465.68283号 简·戈兹尼；布鲁诺沃尔岑洛格尔古 2 2015 论逻辑嵌入与哥德尔的上帝。 Zbl 1472.03013号 克里斯托夫·本兹穆勒；古布鲁诺-沃尔岑洛格尔 2 2015 用高阶自动化定理证明器自动实现哥德尔对上帝存在的本体论证明。 Zbl 1366.03169号 克里斯托夫·本兹穆勒；布鲁诺沃尔岑洛格尔古 13 2014 通过降低子函数压缩命题分解证明。 兹比尔1401.68274 约瑟夫·布杜；布鲁诺沃尔岑洛格尔古 4 2013 上下文自然演绎。 Zbl 1437.03045号 布鲁诺沃尔岑洛格尔古 1 2013 直觉主义逻辑中的CER。 Zbl 1252.03124号 亚历山大·莱奇；吉赛尔·雷斯；布鲁诺沃尔岑洛格尔古 1 2012 物理学和证明理论。 Zbl 1291.81015号 古布鲁诺-沃尔岑洛格尔 1 2012 利用SMT问题中的对称性。 Zbl 1341.68187号 戴维·戴哈贝；帕斯卡·方丹；斯蒂芬·默兹；布鲁诺沃尔岑洛格尔古 10 2011 通过部分正则化对命题分解证明进行压缩。 Zbl 1341.68188号 帕斯卡·方丹；斯蒂芬·默兹；布鲁诺沃尔岑洛格尔古 6 2011 通过分辨率引入原子切割：证明结构和压缩。 Zbl 1253.03085号 布鲁诺沃尔岑洛格尔古 9 2010 系统描述：证明转换系统CERES。 Zbl 1291.68338号 茨维坦·邓切夫；亚历山大·莱奇；托梅尔·利巴尔；丹尼尔·韦勒；布鲁诺沃尔岑洛格尔古 1 2010 二阶逻辑中证明分析的子句方法。 Zbl 1211.03018号 斯特凡·赫兹尔；亚历山大·莱奇；丹尼尔·韦勒；布鲁诺沃尔岑洛格尔古 三 2009 Herbrand连续提取。 Zbl 1166.68347号 斯特凡·赫兹尔；亚历山大·莱奇；丹尼尔·韦勒；布鲁诺沃尔岑洛格尔古 17 2008 所有引用的出版物 前5名被引用出版物 全部的 前5名136位作者引用 9 克里斯托夫·埃瓦尔德·本兹穆勒 8 布鲁诺沃尔岑洛格尔古 6 亚历山大·莱奇 4 丹尼尔·韦勒（Daniel S.Weller）。 三 克拉克·W·巴雷特。 三 帕斯卡·方丹 三 斯特凡·赫兹尔 三 安德鲁·雷诺兹 三 塞萨尔·蒂内利 2 哈尼尔·巴博萨 2 大卫·M·塞尔纳。 2 福恩市长，大卫 2 安妮卡·坎科斯 2 亚当·科布罗斯基 2 托梅尔·利巴尔 2 阿内拉·洛里奇 2 吉赛尔·雷斯 2 娜塔莎·莎莉吉娜 2 亚历山大·斯蒂恩 1 卡洛斯·阿雷塞斯 1 安德烈·阿鲁索艾 1 尼古拉·巴雷 1 安德烈·鲍尔 1 弗雷德里克·贝松 1 珍妮·伊夫·贝齐奥 1 拉尔斯·比克达尔 1 贾斯敏·克里斯蒂安·布兰切特 1 Böhme，萨沙 1 布莱特，柯蒂斯 1 罗伯托·布鲁托梅索 1 詹皮埃罗·卡波迪 1 克里斯蒂安·卡鲁德。 1 曹勤祥 1 陈树伟 1 Cheng，Xi（西成） 1 魏恩根·钦 1 科恩、利隆 1 皮埃尔·科尔比诺 1 安德烈亚·科斯蒂亚 1 马克西米利亚诺·克里斯蒂亚 1 Czarnecki、Krzysztof 1 戴维·戴哈贝 1 德尔·卡门·冈萨雷斯（del Carmen González Huesca），卢尔德 1 德尔芬·德曼吉 1 Deters，摩根 1 克莱尔·德罗斯 1 马蒂尔德·杜克洛 1 茨维坦·邓切夫 1 塞巴斯蒂安·埃伯哈德 1 安德烈亚斯·费尔纳 1 Jean-Christophe Filliátre 1 马蒂亚斯·弗勒里 1 Anthony C.J.福克斯。 1 维杰·加内什 1 简·赫尔曼·杰弗斯 1 法杜阿·古拉比 1 托拜厄斯·格莱纳 1 罗兰·格里克 1 戈帕拉克里什南（Gopalakrishnan）、加内什·拉利塔（Ganesh Lalitha） 1 简·戈兹尼 1 何兴兴 1 阿尔伯特·海因勒 1 Hötzel Escardó，马汀 1 劳伦特·休伯特 1 安蒂·E·J·海瓦·里宁。 1 艾达、铁雄 1 查尔斯·雅各布森 1 亚塞姆·卡塞姆 1 迪莉娅·凯斯纳 1 科齐里亚斯（Ilias S.Kotsireas）。 1 基里恩·克莱默 1 维克多·昆卡 1 汉娜·拉奇尼特 1 亚辛·拉赫内奇 1 圣埃芬·让·埃里克·伦格兰德 1 蒂姆·莱顿 1 Linares Arévalo，皮拉尔·塞琳 1 刘军 1 卡梅洛·洛伊亚科诺 1 马特奥·马雷斯科蒂 1 斯蒂芬·默兹 1 朱利叶斯·迈克利斯 1 米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel） 1 文森特·蒙福特 1 扬尼克·莫伊 1 阿列克桑达尔·纳内夫斯基 1 罗伯·奈德佩尔特 1 艾娜·尼梅茨 1 托比亚斯·尼普科 1 安德烈斯·诺兹利 1 伊泽基尔·奥贝 1 亚历克斯·奥兹德米尔 1 家长，Xavier 1 劳伦斯·查尔斯·保尔森 1 佩特科维奇·科梅尔（Anja PetkovićKomel） 1 大卫·皮哈迪 1 马蒂亚斯·普雷纳 1 文森特·拉里 1 茨沃尼米尔·拉卡马里奇 1 西蒙·富尔维奥·罗里尼 …还有36位作者 全部的 前5名19篇连载文章中引用 9 自动推理杂志 4 系统设计中的形式化方法 三 纯逻辑与应用逻辑年鉴 三 MSCS公司。计算机科学中的数学结构 2 人工智能 2 理论计算机科学 2 泛逻辑 1 应用数学与计算 1 信息科学 1 哲学逻辑杂志 1 Studia Logica公司 1 逻辑科公报 1 信息与计算 1 Indagationes Mathematicae公司。新系列 1 应用非经典逻辑杂志 1 逻辑程序设计理论与实践 1 计算机科学中的逻辑方法 1 符号逻辑述评 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在12个字段中引用 52 计算机科学（68至XX） 45 数理逻辑与基础（03-XX） 三 组合数学（05-XX） 三 信息与通信理论、电路（94-XX） 2 历史和传记（01-XX） 1 总体主题；集合（00-XX） 1 阶、格、有序代数结构（06-XX） 1 范畴理论；同调代数（18-XX） 1 几何图形（51至XX） 1 数值分析（65-XX） 1 量子理论（81-XX） 1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 按年份列出的引文