×

zbMATH — the first resource for mathematics

Haeusler, Edward Hermann

Compute Distance To:
Author ID: haeusler.edward-hermann Recent zbMATH articles by "Haeusler, Edward Hermann"
Published as: Haeusler, Edward Hermann; Haeusler, Edward H.; Haeusler, E. H.; Haeusler, E. Hermann; Haeusler, Edward; Häusler, E. H.; Hæusler, E. Hermann
Homepage: http://www-di.inf.puc-rio.br/~hermann/
External Links: MGP
Documents Indexed: 60 Publications since 1988, including 8 Books

Publications by Year

Citations contained in zbMATH Open

21 Publications have been cited 40 times in 36 Documents Cited by Year
Maude action tool: Using reflection to map action semantics to rewriting logic. Zbl 0983.68519
de O. Braga, Christiano; Haeusler, E. Hermann; Meseguer, José; Mosses, Peter D.
5
2000
Mapping modular SOS to rewriting logic. Zbl 1278.68166
De Braga, Christiano O.; Hæusler, E. Hermann; Meseguer, José; Mosses, Peter D.
5
2003
Extending propositional dynamic logic for Petri nets. Zbl 1335.68175
Lopes, Bruno; Benevides, Mario; Haeusler, Edward Hermann
4
2014
A new normalization strategy for the implicational fragment of classical propositional logic. Zbl 1208.03054
Pereira, Luiz C.; Haeusler, Edward H.; Costa, Vaston G.; Sanz, Wagner
4
2010
Finitely many-valued logics and natural deduction. Zbl 1328.03022
Englander, Cecilia; Haeusler, Edward Hermann; Pereira, Luiz Carlos
3
2014
Yet another bijection between sequent calculus and natural deduction. Zbl 1343.03042
Englander, Cecilia; Dowek, Gilles; Haeusler, Edward Hermann
2
2015
A note on the size of minimal covers. Zbl 1184.68263
Costa, Vaston; Haeusler, Edward; Laber, Eduardo S.; Nogueira, Loana
2
2007
Using the internal logic of a topos to model search spaces for problems. Zbl 1128.68096
do Amaral, Fernando Náufel; Haeusler, Edward Hermann
2
2007
On strong normalization in proof-graphs for propositional logic. Zbl 1394.03073
Quispe-Cruz, Marcela; Haeusler, Edward; Gordeev, Lew
1
2016
Proof compression and NP versus PSPACE. Zbl 07055412
Gordeev, L.; Haeusler, E. H.
1
2019
A semantic approach to the solution of the legacy code problem (extended abstract). Zbl 0886.68091
de V. Garcia, Alex; Haeusler, Edward Hermann; Haeberer, Armando M.
1
1997
A natural deduction system for CTL. Zbl 1032.03031
Rentería, Christian J.; Haeusler, Edward H.
1
2002
\({\mathcal N}{\mathcal U}{\mathcal L}\): Natural deduction for ultrafilter logic. Zbl 1046.03032
Rentería, Christian Jacques; Haeusler, Edward Hermann; Veloso, Paulo A. S.
1
2003
Peirce’s rule in a full natural deduction system. Zbl 1291.03109
Costa, Vaston G.; Sanz, Wagner; Haeusler, Edward H.; Pereira, Luiz C.
1
2009
How many times do we need an assumption to prove a tautology in minimal logic? Examples on the compression power of classical reasoning. Zbl 1352.03067
Haeusler, Edward Hermann
1
2014
Propositional dynamic logic for Petri nets with iteration. Zbl 1401.68219
Benevides, Mario R. F.; Lopes, Bruno; Haeusler, Edward Hermann
1
2016
Advances in natural deduction. A celebration of Dag Prawitz’s work. Selected papers based on the presentations at the conference “Natural deduction”, Rio de Janeiro, Brazil, 2001. Zbl 1286.03010
Pereira, Luiz Carlos (ed.); Haeusler, Edward Hermann (ed.); de Paiva, Valeria (ed.)
1
2014
Fibred and indexed categories for abstract model theory. Zbl 1133.03015
Martini, Alfio; Wolter, Uwe; Haeusler, E. Hermann
1
2007
Proof compressions with circuit-structured substitutions. Zbl 1191.03043
Gordeev, L.; Haeusler, E. H.; da Costa, V. G.
1
2009
Propositional proof compressions and DNF logic. Zbl 1214.03044
Gordeev, L.; Haeusler, E. H.; Pereira, L. C.
1
2011
Constructive description logics hybrid-style. Zbl 1260.68389
de Paiva, Valeria; Haeusler, Edward Hermann; Rademaker, Alexandre
1
2011
Proof compression and NP versus PSPACE. Zbl 07055412
Gordeev, L.; Haeusler, E. H.
1
2019
On strong normalization in proof-graphs for propositional logic. Zbl 1394.03073
Quispe-Cruz, Marcela; Haeusler, Edward; Gordeev, Lew
1
2016
Propositional dynamic logic for Petri nets with iteration. Zbl 1401.68219
Benevides, Mario R. F.; Lopes, Bruno; Haeusler, Edward Hermann
1
2016
Yet another bijection between sequent calculus and natural deduction. Zbl 1343.03042
Englander, Cecilia; Dowek, Gilles; Haeusler, Edward Hermann
2
2015
Extending propositional dynamic logic for Petri nets. Zbl 1335.68175
Lopes, Bruno; Benevides, Mario; Haeusler, Edward Hermann
4
2014
Finitely many-valued logics and natural deduction. Zbl 1328.03022
Englander, Cecilia; Haeusler, Edward Hermann; Pereira, Luiz Carlos
3
2014
How many times do we need an assumption to prove a tautology in minimal logic? Examples on the compression power of classical reasoning. Zbl 1352.03067
Haeusler, Edward Hermann
1
2014
Advances in natural deduction. A celebration of Dag Prawitz’s work. Selected papers based on the presentations at the conference “Natural deduction”, Rio de Janeiro, Brazil, 2001. Zbl 1286.03010
Pereira, Luiz Carlos; Haeusler, Edward Hermann; de Paiva, Valeria
1
2014
Propositional proof compressions and DNF logic. Zbl 1214.03044
Gordeev, L.; Haeusler, E. H.; Pereira, L. C.
1
2011
Constructive description logics hybrid-style. Zbl 1260.68389
de Paiva, Valeria; Haeusler, Edward Hermann; Rademaker, Alexandre
1
2011
A new normalization strategy for the implicational fragment of classical propositional logic. Zbl 1208.03054
Pereira, Luiz C.; Haeusler, Edward H.; Costa, Vaston G.; Sanz, Wagner
4
2010
Peirce’s rule in a full natural deduction system. Zbl 1291.03109
Costa, Vaston G.; Sanz, Wagner; Haeusler, Edward H.; Pereira, Luiz C.
1
2009
Proof compressions with circuit-structured substitutions. Zbl 1191.03043
Gordeev, L.; Haeusler, E. H.; da Costa, V. G.
1
2009
A note on the size of minimal covers. Zbl 1184.68263
Costa, Vaston; Haeusler, Edward; Laber, Eduardo S.; Nogueira, Loana
2
2007
Using the internal logic of a topos to model search spaces for problems. Zbl 1128.68096
do Amaral, Fernando Náufel; Haeusler, Edward Hermann
2
2007
Fibred and indexed categories for abstract model theory. Zbl 1133.03015
Martini, Alfio; Wolter, Uwe; Haeusler, E. Hermann
1
2007
Mapping modular SOS to rewriting logic. Zbl 1278.68166
De Braga, Christiano O.; Hæusler, E. Hermann; Meseguer, José; Mosses, Peter D.
5
2003
\({\mathcal N}{\mathcal U}{\mathcal L}\): Natural deduction for ultrafilter logic. Zbl 1046.03032
Rentería, Christian Jacques; Haeusler, Edward Hermann; Veloso, Paulo A. S.
1
2003
A natural deduction system for CTL. Zbl 1032.03031
Rentería, Christian J.; Haeusler, Edward H.
1
2002
Maude action tool: Using reflection to map action semantics to rewriting logic. Zbl 0983.68519
de O. Braga, Christiano; Haeusler, E. Hermann; Meseguer, José; Mosses, Peter D.
5
2000
A semantic approach to the solution of the legacy code problem (extended abstract). Zbl 0886.68091
de V. Garcia, Alex; Haeusler, Edward Hermann; Haeberer, Armando M.
1
1997

Citations by Year