编辑配置文件（在新选项卡中打开） 爱德华·赫尔曼·海尔 合著者距离 作者ID： 哈乌斯勒·埃德沃德·赫尔曼 发布日期： 爱德华·赫尔曼·海尔；爱德华·海斯勒。；霍斯勒，E.H。；E.赫尔曼·海尔（E.Hermann Haeusler）；Häusler，E.H。；爱德华·海斯勒；Husler，E.赫尔曼 更多。。。较少的 主页： http://www-di.inf.puc-rio.br/~赫尔曼/ 外部链接： 管理程序 已编制索引的文档： 57出版物自1988年起 11作为编辑的贡献 合著者： 53位合著者具有63联合出版物 614合作作者 全部的 前5名合著者 5 单作者的 9 路易斯·卡洛斯·佩雷拉（Luiz Carlos P.D.Pereira）。 7 列夫·戈迪夫 6 布鲁诺·多梅尼西亚诺·洛佩斯 4 马里奥·贝尼维德斯。 4 Uwe E.沃尔特。 三 毛里西奥·阿亚拉·林科恩 三 Vaston G.科斯塔。 三 de Campos Sanz，瓦格纳 三 Ruy JoséGuerra Barretto De Queiroz 三 亚历山大·雷德梅克 三 Paulo Augusto S.维洛索。 2 达科斯塔（da Costa），瓦斯顿·贡萨阿尔维斯（Vaston Gonçalves） 2 瓦莱里亚·德·佩瓦 2 阿历克斯·德·V·加西亚 2 阿马拉尔、费尔南多·纳费尔 2 道克，吉勒斯 2 塞西莉亚·恩格兰德 2 马其顿，雨果·丹尼尔 2 A.R.马提尼。 2 何塞·梅塞盖尔·瓜伊塔 2 彼得·莫塞斯（Peter D.Mosses）。 2 马塞拉·奎斯佩·克鲁斯 2 克里斯蒂安·雅克·伦特里亚 2 豪尔赫·彼得鲁西奥·维亚纳 1 约翰·鲍德温（John T.Baldwin）。 1 卡洛斯·巴齐利奥 1 沃尔特·亚历山大·卡尼埃利 1 马塞洛·达·S·科里亚 1 马塞洛·达席尔瓦·科里亚 1 达席尔瓦，Geiza M.Hamazaki 1 德·巴罗斯·桑托斯，杰斐逊 1 克里斯蒂亚诺·德·布拉加。 1 de O.Braga，克里斯蒂亚诺 1 克拉丽斯·西克纽斯·德索萨 1 戴维·罗梅罗·德·瓦康塞洛斯 1 迪亚斯·佩雷拉、路易斯·卡洛斯·皮涅罗 1 马库斯·恩德勒 1 路易斯·法利尼亚斯·德尔·塞罗 1 费尔南德斯，里卡多·奎罗斯·德·阿劳霍 1 亚历克斯·M·加西亚。 1 爱德华多·N·乔瓦尼尼。 1 猜猜，路易斯·卡洛斯·卡斯特罗 1 阿曼多·马丁·海伯勒 1 爱德华多·三一·拉伯 1 阿贝尔·拉萨尔·卡萨纳韦 1 布鲁诺·洛佩斯·维埃拉 1 阿尔菲奥·马提尼 1 Cláudia Nalon 1 诺盖拉，洛安娜·蒂托 1 路易斯·卡洛斯·佩雷拉 1 皮涅罗·迪亚斯·佩雷拉（Pinheiro Dias Pereira）、路易斯·卡洛斯（Luiz Carlos） 1 Sande e Oliveira、Denise Aboim 1 彼得鲁西奥·维亚纳 全部的 前5名系列 9 IGPL逻辑杂志 6 逻辑科公报 三 理论计算机科学电子笔记 2 信息处理信件 2 Studia Logica公司 2 数学逻辑季刊（MLQ） 2 致敬 2 应用逻辑学杂志-IfCoLog逻辑学及其应用杂志 1 逻辑与分析。Nouvelle Série公司 1 理论计算机科学 1 逻辑与计算杂志 1 MSCS公司。计算机科学中的数学结构 1 数学科学杂志（纽约） 1 当代音乐 1 通用计算机科学杂志 1 逻辑趋势——Studia Logica图书馆 1 符号逻辑述评 全部的 前5名领域 59 数学逻辑和基础（03-XX） 32 计算机科学（68至XX） 10 总体主题；集合（00-XX） 8 范畴理论；同调代数（18-XX） 1 历史和传记（01-XX） 1 几何图形（51至XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 33出版物有被引用73中的次56文件 引用人▼ 年份▼ 扩展Petri网的命题动态逻辑。 Zbl 1335.68175号 布鲁诺·洛佩斯；贝内维迪斯，马里奥；爱德华·赫尔曼·海尔 7 2014 经典命题逻辑隐含片段的一种新的规范化策略。 Zbl 1208.03054号 路易斯·佩雷拉（Luiz C.Pereira）。；爱德华·海斯勒。；Vaston G.科斯塔。；瓦格纳·桑兹 6 2010 Maude动作工具：使用反射将动作语义映射到重写逻辑。 Zbl 0983.68519号 de O.Braga，克里斯蒂亚诺；E.赫尔曼·海尔（E.Hermann Haeusler）；何塞·梅塞盖尔；彼得·莫塞斯（Peter D.Mosses）。 5 2000 将模块化SOS映射到重写逻辑。 Zbl 1278.68166号 克里斯蒂安诺·德布拉加。；Husler，E.赫尔曼；何塞·梅塞盖尔；彼得·莫塞斯（Peter D.Mosses）。 5 2003 有限多值逻辑和自然演绎。 Zbl 1328.03022号 塞西莉亚·恩格兰德；爱德华·赫尔曼·海尔；路易斯·卡洛斯·佩雷拉 5 2014 最小关联逻辑的粒度证明。 Zbl 1464.03088号 马塞拉·奎斯佩·克鲁斯；爱德华·赫尔曼·海尔；卢·戈尔迪夫 5 2014 论经典逻辑的构造碎片。 Zbl 1429.03059号 路易斯·卡洛斯·佩雷拉；爱德华·赫尔曼·海尔 三 2015 验证压缩和NP与PSPACE。 Zbl 1477.03247号 L.戈迪夫。；霍斯勒，E.H。 三 2019 序列演算和自然演绎之间的又一个双射。 Zbl 1343.03042号 塞西莉亚·恩格兰德；Gilles Dowek；爱德华·赫尔曼·海尔 三 2015 \（{\mathcal N}{\mathcal U}{\mathcal L}\）：超滤逻辑的自然演绎。 Zbl 1046.03032号 克里斯蒂安·雅克·伦特里亚；爱德华·赫尔曼·海尔；保罗·A·S·维洛索。 2 2003 关于最小覆盖尺寸的注释。 Zbl 1184.68263号 瓦斯顿·科斯塔；爱德华·海斯勒；爱德华多·拉贝尔。；洛亚娜·诺盖拉 2 2007 自然扣除预付款。Dag Prawitz工作的庆祝活动。根据2001年巴西里约热内卢“自然演绎”会议上的发言选出的论文。 Zbl 1286.03010号 2 2014 用电路结构替换验证压缩。 Zbl 1191.03043号 L.戈迪夫。；霍斯勒，E.H。；达科斯塔，V.G。 2 2009 Petri网的命题动态逻辑。 Zbl 1407.68335号 布鲁诺·洛佩斯；贝内维迪斯，马里奥；爱德华·赫尔曼·海尔 2 2014 使用拓扑的内部逻辑为问题的搜索空间建模。 Zbl 1128.68096号 阿马拉尔、费尔南多·纳费尔；爱德华·赫尔曼·海尔 2 2007 抽象模型理论的纤维和索引类别。 Zbl 1133.03015号 阿尔菲奥·马提尼；乌韦·沃尔特；E.赫尔曼·海尔（E.Hermann Haeusler） 2 2007 拓扑的有限性和计算。 兹比尔1486.03125 爱德华·赫尔曼·海尔 1 2016 命题逻辑的复杂性和子公式性质。 Zbl 1486.03015号 爱德华·赫尔曼·海尔 1 2015 CTL的自然扣除系统。 Zbl 1032.03031号 伦特里亚，克里斯蒂安·J。；爱德华·海斯勒。 1 2002 构造性描述逻辑混合型。 兹比尔1260.68389 瓦莱里亚·德·佩瓦；爱德华·赫尔曼·海尔；亚历山大·雷德梅克 1 2011 皮尔士规则在一个完整的自然演绎系统中。 Zbl 1291.03109号 Vaston G.科斯塔。；瓦格纳·桑兹；爱德华·海斯勒。；路易斯·佩雷拉（Luiz C.Pereira）。 1 2009 解决遗留代码问题的语义方法（扩展抽象）。 Zbl 0886.68091号 阿历克斯·德·V·加西亚；爱德华·赫尔曼·海尔；阿曼多·海贝尔。 1 1997 德佐特的假设：一种抽象的方法。 Zbl 1504.03011号 爱德华多·N·乔瓦尼尼。；爱德华·海斯勒。；拉萨勒·卡萨纳夫，亚伯；保罗·A·S·维洛索。 1 2022 通过索引类别和伴随情况实现逻辑系统的统一表示。 Zbl 1362.03059号 Wolter，美国。；A.马提尼。；Häusler，E.H。 1 2015 命题证明压缩和DNF逻辑。 Zbl 1214.03044号 L.戈迪夫。；霍斯勒，E.H。；佩雷拉，L.C。 1 2011 Hoare逻辑的索引和光纤结构。 Zbl 1495.03053号 U.E.沃尔特。；A.R.马提尼。；Häusler，E.H。 1 2020 验证压缩和NP与PSPACE。二、。 Zbl 1477.03246号 卢·戈尔迪夫；爱德华·赫尔曼·海尔 1 2020 迭代Petri网的命题动态逻辑。 Zbl 1401.68219号 马里奥·贝尼维德斯。；布鲁诺·洛佩斯；爱德华·赫尔曼·海尔 1 2016 关于Petri网的推理：一种基于命题动态逻辑的方法。 Zbl 1401.68220号 贝内维迪斯，马里奥；布鲁诺·洛佩斯；爱德华·赫尔曼·海尔 1 2018 为什么这是一个证据？路易斯·卡洛斯·佩雷拉的节日。 Zbl 1346.03008号 1 2015 最小蕴涵逻辑中可证明性和反模型生成的统一过程。 Zbl 1396.03013号 杰斐逊·德巴罗斯·桑托斯；洛佩斯·维埃拉，布鲁诺；爱德华·赫尔曼·海尔 1 2016 命题逻辑证明图的强规范化。 Zbl 1394.03073号 马塞拉·奎斯佩·克鲁斯；爱德华·海斯勒；卢·戈尔迪夫 1 2016 我们需要多少次假设才能在最小逻辑中证明同义反复？经典推理的压缩能力示例。 兹比尔1352.03067 爱德华·赫尔曼·海尔 1 2014 德佐特的假设：一种抽象的方法。 Zbl 1504.03011号 爱德华多·N·乔瓦尼尼。；爱德华·海斯勒。；阿贝尔·拉萨勒·卡萨纳维；保罗·A·S·维洛索。 1 2022 Hoare逻辑的索引和光纤结构。 Zbl 1495.03053号 U.E.沃尔特。；A.R.马提尼。；Häusler，E.H。 1 2020 验证压缩和NP与PSPACE。二、。 Zbl 1477.03246号 卢·戈尔迪夫；爱德华·赫尔曼·海尔 1 2020 验证压缩和NP与PSPACE。 Zbl 1477.03247号 L.戈迪夫。；霍斯勒，E.H。 三 2019 关于Petri网的推理：一种基于命题动态逻辑的方法。 Zbl 1401.68220号 贝内维迪斯，马里奥；布鲁诺·洛佩斯；爱德华·赫尔曼·海尔 1 2018 拓扑的有限性和计算。 Zbl 1486.03125号 爱德华·赫尔曼·海尔 1 2016 迭代Petri网的命题动态逻辑。 Zbl 1401.68219号 马里奥·贝尼维德斯。；布鲁诺·洛佩斯；爱德华·赫尔曼·海尔 1 2016 最小隐含逻辑中可证明性和反模型生成的统一过程。 Zbl 1396.03013号 杰斐逊·德巴罗斯·桑托斯；布鲁诺·洛佩斯·维埃拉；爱德华·赫尔曼·海尔 1 2016 命题逻辑证明图的强规范化。 Zbl 1394.03073号 马塞拉·奎斯佩·克鲁斯；爱德华·海斯勒；卢·戈尔迪夫 1 2016 论经典逻辑的构造碎片。 Zbl 1429.03059号 路易斯·卡洛斯·佩雷拉；爱德华·赫尔曼·海尔 三 2015 序列演算和自然演绎之间的又一个双射。 Zbl 1343.03042号 塞西莉亚·恩格兰德；Gilles Dowek；爱德华·赫尔曼·海尔 三 2015 命题逻辑的复杂性和子公式性质。 Zbl 1486.03015号 爱德华·赫尔曼·海尔 1 2015 通过索引类别和伴随情况实现逻辑系统的统一表示。 Zbl 1362.03059号 Wolter，美国。；A.马提尼。；Häusler，E.H。 1 2015 为什么这是一个证据？路易斯·卡洛斯·佩雷拉的节日。 Zbl 1346.03008号 1 2015 扩展Petri网的命题动态逻辑。 Zbl 1335.68175号 布鲁诺·洛佩斯；贝内维迪斯，马里奥；爱德华·赫尔曼·海尔 7 2014 有限多值逻辑和自然演绎。 Zbl 1328.03022号 塞西莉亚·恩格兰德；爱德华·赫尔曼·海尔；路易斯·卡洛斯·佩雷拉 5 2014 最小隐含逻辑的证明图。 Zbl 1464.03088号 马塞拉·奎斯佩·克鲁斯；爱德华·赫尔曼·海尔；卢·戈尔迪夫 5 2014 自然扣除预付款。Dag Prawitz工作的庆祝活动。根据2001年巴西里约热内卢“自然演绎”会议上的发言选出的论文。 Zbl 1286.03010号 2 2014 Petri网的命题动态逻辑。 Zbl 1407.68335号 布鲁诺·洛佩斯；贝内维迪斯，马里奥；爱德华·赫尔曼·海尔 2 2014 我们需要多少次假设才能在最小逻辑中证明同义反复？经典推理的压缩能力示例。 Zbl 1352.03067号 爱德华·赫尔曼·海尔 1 2014 构造性描述逻辑混合型。 Zbl 1260.68389号 瓦莱里亚·德·佩瓦；爱德华·赫尔曼·海尔；亚历山大·雷德梅克 1 2011 命题证明压缩和DNF逻辑。 Zbl 1214.03044号 戈尔迪夫。；霍斯勒，E.H。；佩雷拉，L.C。 1 2011 经典命题逻辑隐含片段的一种新的规范化策略。 Zbl 1208.03054号 路易斯·佩雷拉（Luiz C.Pereira）。；爱德华·海斯勒。；Vaston G.科斯塔。；瓦格纳·桑兹 6 2010 用电路结构替换验证压缩。 Zbl 1191.03043号 L.戈迪夫。；霍斯勒，E.H。；达科斯塔，V.G。 2 2009 皮尔士规则在一个完整的自然演绎系统中。 兹比尔1291.03109 Vaston G.科斯塔。；瓦格纳·桑兹；爱德华·海斯勒。；路易斯·佩雷拉（Luiz C.Pereira）。 1 2009 关于最小覆盖尺寸的注释。 Zbl 1184.68263号 瓦斯顿·科斯塔；爱德华·海斯勒；爱德华多·拉贝尔。；洛亚娜·诺盖拉 2 2007 使用拓扑的内部逻辑为问题的搜索空间建模。 Zbl 1128.68096号 阿马拉尔、费尔南多·纳费尔；爱德华·赫尔曼·海尔 2 2007 抽象模型理论的纤维和索引类别。 Zbl 1133.03015号 阿尔菲奥·马提尼；乌韦·沃尔特；E.赫尔曼·海尔（E.Hermann Haeusler） 2 2007 将模块化SOS映射到重写逻辑。 Zbl 1278.68166号 克里斯蒂亚诺·德·布拉加。；Husler，E.赫尔曼；何塞·梅塞盖尔；彼得·莫塞斯（Peter D.Mosses）。 5 2003 \（{\mathcal N}{\mathcal U}{\mathcal L}\）：超滤逻辑的自然演绎。 Zbl 1046.03032号 克里斯蒂安·雅克·伦特里亚；爱德华·赫尔曼·海尔；保罗·A·S·维洛索。 2 2003 CTL的自然扣除系统。 Zbl 1032.03031号 Rentería，克里斯蒂安·J。；爱德华·海斯勒。 1 2002 Maude动作工具：使用反射将动作语义映射到重写逻辑。 Zbl 0983.68519号 de O.Braga，克里斯蒂亚诺；E.赫尔曼·海尔（E.Hermann Haeusler）；何塞·梅塞盖尔；彼得·莫塞斯（Peter D.Mosses）。 5 2000 解决遗留代码问题的语义方法（扩展抽象）。 Zbl 0886.68091号 阿历克斯·德·V·加西亚；爱德华·赫尔曼·海尔；阿曼多·海贝尔。 1 1997 所有引用出版物 前5名被引用出版物 全部的 前5名83位作者引用 17 爱德华·赫尔曼·海尔 5 布鲁诺·多梅尼西亚诺·洛佩斯 4 列夫·戈迪夫 三 马里奥·贝尼维德斯。 三 马蒂·奥利特，纳西索 三 何塞·梅塞盖尔·瓜伊塔 三 雅罗斯拉夫·伊戈列维奇·彼得鲁金 2 卡洛斯·卡莱罗 2 瓦莱里亚·德·佩瓦 2 Gilles Dowek 2 A.R.马提尼。 2 路易斯·卡洛斯·佩雷拉（Luiz Carlos P.D.Pereira）。 2 伊莱恩·皮门特尔 2 米歇尔·阿德里安 2 格里高·罗什乌 2 彼得·迈克尔·舒斯特 2 瓦西里·沙金 2 Paulo Augusto S.维洛索。 2 Sheila R.M.维洛索。 2 卢卡·维甘诺 2 马尔科·沃尔佩 2 丹尼尔·韦塞尔 2 Uwe E.沃尔特。 1 亚历杭德罗·阿吉雷 1 迈克尔·阿恩特 1 迈克尔·比森。 1 布拉尼斯拉夫·博里奇奇。 1 莱昂纳多·塞拉乔利 1 陈容奎 1 马蒂奥·奇米尼 1 曼纽尔·克莱维尔 1 Vaston G.科斯塔。 1 里卡多·克雷斯波 1 杰斐逊·德巴罗斯·桑托斯 1 de Campos Sanz，瓦格纳 1 阿历克斯·德·V·加西亚 1 弗朗西斯科·杜兰 1 史蒂文·艾克 1 圣地亚哥埃斯科瓦尔 1 朱利奥·费林 1 费尔南德斯，里卡多·奎罗斯·德·阿劳霍 1 毛罗·法拉利 1 佛罗伦萨，卡米洛 1 藤田，健毅 1 默多克·詹姆斯·加贝 1 埃里克·格里洛 1 Jan Friso，格鲁特 1 朱利奥·格雷里 1 Há，Huy Tái 1 长谷川、Masahito 1 Hibi、Takayuki 1 米尔贾纳·伊利奇 1 胜本，Shin-ya 1 佐藤库拉 1 库尔比斯，尼尔斯 1 林敏生 1 帕特里克·D·林肯。 1 布鲁诺·洛佩斯·维埃拉 1 亚历山大·马德拉 1 乔安·马科斯 1 马丁斯（Manuel António Martins） 1 安德烈亚·马西尼 1 彼得·莫塞斯（Peter D.Mosses）。 1 穆罕默德雷扎·穆萨维 1 穆罕默德·穆萨维 1 阿尔贝托·奈博 1 Cláudia Nalon 1 乔安·内托 1 内维斯、雷纳托 1 Vivek Nigam先生 1 马塞拉·奎斯佩·克鲁斯 1 约瑟夫·拉扎维 1 安德烈亚·沙尔克 1 阿列克西·舒伯特 1 肖恩·斯坦德弗 1 卡罗琳·塔尔科特。 1 费尔南多·托梅。 1 巴威·乌尔兹琴 1 莱昂纳多·布鲁诺·瓦纳 1 阿尔贝托·维尔德乔 1 费迪南德·维斯利 1 海因里希·西奥多 1 兹达诺夫斯基，康拉德 全部的 前5名21篇连载文章中引用 5 Studia Logica公司 4 理论计算机科学 2 信息处理信件 2 逻辑科公报 2 MSCS公司。计算机科学中的数学结构 2 泛逻辑 1 Beiträge zur代数与几何 1 哲学逻辑杂志 1 合成 1 逻辑历史与哲学 1 信息与计算 1 自动推理杂志 1 应用非经典逻辑杂志 1 符号逻辑公报 1 组合年刊 1 科学基础 1 逻辑与代数程序设计杂志 1 逻辑与逻辑哲学 1 可计算性 1 程序设计中的逻辑和代数方法杂志 1 欧洲数学杂志 全部的 前5名在9个字段中引用 46 数学逻辑和基础（03-XX） 25 计算机科学（68至XX） 5 范畴理论；同调代数（18-XX） 三 历史和传记（01-XX） 三 组合数学（05-XX） 2 总体主题；集合（00-XX） 2 交换代数（13-XX） 1 几何图形（51至XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文