编辑配置文件（在新选项卡中打开） 伯特伦·费尔根豪尔 合著者距离 作者ID： 费尔根豪尔伯特伦 发布日期： 伯特伦·费尔根豪尔 已编制索引的文档： 16出版物自2011年起 合著者： 8位合著者具有14份联合出版物 111位Co-Co作者 全部的 前5名合著者 2 单作者的 9 阿尔特·米德尔多普 6 哈拉尔德·赞克 三 朱利安·纳格尔 2 雷内·蒂曼 2 文森特·范·奥斯特罗姆 1 亚历山大·洛赫曼 1 费比安·米特沃纳 1 弗兰齐斯卡·拉普 系列 2 计算机科学中的逻辑方法 1 信息与计算 1 自动推理杂志 1 ACM计算逻辑汇刊 领域 16 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 13出版物有被引用54中的次29文件 引用人▼ 年份▼ CSI–汇流工具。 Zbl 1341.68199号 哈拉尔德·赞克；伯特伦·费尔根豪尔；阿尔特·米德尔多普 12 2011 递减图的证明顺序。 Zbl 1356.03054号 伯特伦·费尔根豪尔；文森特·凡·奥斯特罗姆 7 2011 减少图表的标签。 Zbl 1236.68157号 哈拉尔德·赞克；伯特伦·费尔根豪尔；阿尔特·米德尔多普 6 2011 证明汇流的分层系统。 Zbl 1246.68136号 伯特伦·费尔根豪尔；哈拉尔德·赞克；阿尔特·米德尔多普 4 2011 证明汇流的分层系统。 Zbl 1354.68138号 伯特伦·费尔根豪尔；阿尔特·米德尔多普；哈拉尔德·赞克；文森特·凡·奥斯特罗姆 4 2015 使用状态兼容自动机进行可达性、汇流和终止分析。 Zbl 1362.68137号 伯特伦·费尔根豪尔；雷内·蒂曼 4 2017 状态兼容自动机的可达性分析。 Zbl 1362.68136号 伯特伦·费尔根豪尔；雷内·蒂曼 4 2014 减少图表的标签。 Zbl 1315.68226号 哈拉尔德·赞克；伯特伦·费尔根豪尔；阿尔特·米德尔多普 三 2015 CSI：新证据–进度报告。 Zbl 1494.68291号 朱利安·纳格尔；伯特伦·费尔根豪尔；阿尔特·米德尔多普 三 2017 利用冗余规则改进重写系统的自动合流分析。 Zbl 1366.68125号 朱利安·纳格尔；伯特伦·费尔根豪尔；阿尔特·米德尔多普 三 2015 在立方时间内决定基础项重写系统的汇流。 兹比尔1437.68079 伯特伦·费尔根豪尔 2 2012 有效地确定基本项重写系统的合流性和正规形性质。 Zbl 1403.68105号 伯特伦·费尔根豪尔 1 2018 在重写的一阶理论中证明证明。 Zbl 1474.68166号 费比安·米特沃纳；亚历山大·洛赫曼；阿尔特·米德尔多普；伯特伦·费尔根豪尔 1 2021 在重写的一阶理论中证明证明。 Zbl 1474.68166号 费比安·米特沃纳；亚历山大·洛赫曼；阿尔特·米德尔多普；伯特伦·费尔根豪尔 1 2021 有效地确定了基项重写系统的汇流性和范式性质。 Zbl 1403.68105号 伯特伦·费尔根豪尔 1 2018 使用状态兼容自动机进行可达性、汇流和终止分析。 Zbl 1362.68137号 伯特伦·费尔根豪尔；雷内·蒂曼 4 2017 CSI：新证据–进度报告。 Zbl 1494.68291号 朱利安·纳格尔；伯特伦·费尔根豪尔；阿尔特·米德尔多普 三 2017 证明汇流的分层系统。 Zbl 1354.68138号 伯特伦·费尔根豪尔；阿尔特·米德尔多普；哈拉尔德·赞克；文森特·凡·奥斯特罗姆 4 2015 减少图表的标签。 Zbl 1315.68226号 哈拉尔德·赞克；伯特伦·费尔根豪尔；阿尔特·米德尔多普 三 2015 利用冗余规则改进重写系统的自动合流分析。 Zbl 1366.68125号 朱利安·纳格尔；伯特伦·费尔根豪尔；阿尔特·米德尔多普 三 2015 状态兼容自动机的可达性分析。 Zbl 1362.68136号 伯特伦·费尔根豪尔；雷内·蒂曼 4 2014 在立方时间内决定基础项重写系统的汇流。 Zbl 1437.68079号 伯特伦·费尔根豪尔 2 2012 CSI–汇流工具。 Zbl 1341.68199号 哈拉尔德·赞克；伯特伦·费尔根豪尔；阿尔特·米德尔多普 12 2011 递减图的证明顺序。 Zbl 1356.03054号 伯特伦·费尔根豪尔；文森特·凡·奥斯特罗姆 7 2011 减少图表的标签。 Zbl 1236.68157号 哈拉尔德·赞克；伯特伦·费尔根豪尔；阿尔特·米德尔多普 6 2011 证明汇流的分层系统。 Zbl 1246.68136号 伯特伦·费尔根豪尔；哈拉尔德·赞克；阿尔特·米德尔多普 4 2011 所有引用出版物 前5名被引用出版物 全部的 前5名37位作者引用 7 阿尔特·米德尔多普 6 伯特伦·费尔根豪尔 4 Nao Hirokawa 4 哈拉尔德·赞克 三 Jean-Pierre Jouannaud 三 朱利安·纳格尔 2 约尔格恩德鲁利斯 2 扬·威廉·克鲁普 2 刘嘉祥 2 亚历山大·洛赫曼 2 何塞·梅塞盖尔·瓜伊塔 2 小山口，美雄 2 Kiraku Shintani 2 克里斯蒂安·斯特纳格尔 2 雷内·蒂曼 2 文森特·范·奥斯特罗姆 1 高仁青藤 1 Jan A.Bergstra。 1 Gilles Dowek 1 弗朗西斯科·杜兰 1 费里，加斯帕德 1 托马斯·杰奈特 1 阿尔芬斯·盖瑟 1 伯恩哈德·格拉姆利希 1 迪特尔·霍夫鲍尔 1 早坂石冢 1 肯塔罗州菊池 1 彼得·兰米奇 1 安德烈亚斯·洛赫比勒 1 费比安·米特沃纳 1 费尔南多·奥雷贾斯 1 Overbeek，罗伊 1 阿尔班·蓬塞 1 卡米洛·罗查 1 Masahiko酒井 1 斯蒂芬·斯基里克 1 约翰内斯·沃尔德曼 全部的 前5名9连载 5 计算机科学中的逻辑方法 4 自动推理杂志 2 程序设计中的逻辑和代数方法杂志 1 理论计算机科学 1 信息与计算 1 MSCS公司。计算机科学中的数学结构 1 Indagationes Mathematicae公司。新系列 1 工程、通信和计算中的应用代数 1 ACM计算逻辑汇刊 在2个字段中引用 29 计算机科学（68至XX） 8 数学逻辑和基础（03-XX） 按年份列出的引文