×

zbMATH — the first resource for mathematics

Herre, Heinrich

Compute Distance To:
Author ID: herre.heinrich Recent zbMATH articles by "Herre, Heinrich"
Published as: Herre, H.; Herre, Heinrich
Documents Indexed: 39 Publications since 1970, including 4 Books
Reviewing Activity: 22 Reviews

Publications by Year

Citations contained in zbMATH Open

19 Publications have been cited 43 times in 39 Documents Cited by Year
Superstable graphs. Zbl 0698.05042
Herre, Heinrich; Mekler, Alan H.; Smith, Kenneth W.
8
1983
The Härtig quantifier: A survey. Zbl 0737.03013
Herre, Heinrich; Krynicki, Michał; Pinus, Alexander; Väänänen, Jouko
5
1991
Partial logics with two kinds of negation as a foundation for knowledge-based reasoning. Zbl 0982.03016
Herre, Heinrich; Jaspars, Jan; Wagner, Gerd
4
1999
Compactness properties of nonmonotonic inference operations. Zbl 0988.03522
Herre, H.
3
1994
Modelltheoretische Eigenschaften endlichvalenter Graphen. Zbl 0445.03015
Herre, Heinrich
3
1980
Zum Entscheidungsproblem für Theorien in Logiken mit monadischen verallgemeinerten Quantoren. Zbl 0397.03010
Herre, H.; Pinus, A. G.
3
1978
Disjunctive logic programming, constructivity and strong negation. Zbl 0925.68098
Herre, Heinrich; Pearce, David
2
1992
Entscheidbarkeit der Theorie der linearen Ordnung in \(L_{Q_1}\). Zbl 0368.02015
Herre, H.; Wolter, H.
2
1977
Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quantoren. Zbl 0318.02049
Herre, Heinrich; Wolter, Helmut
2
1975
Unentscheidbarkeit in der Graphentheorie. Zbl 0279.05101
Herre, H.
2
1973
Nonmonotonic reasoning with multiple belief sets. Zbl 0920.03039
Engelfriet, Joeri; Herre, Heinrich; Treur, Jan
1
1998
Nonmonotonic reasoning with multiple belief sets. Zbl 1419.68111
Engelfriet, Joeri; Herre, Heinrich; Treur, Jan
1
1996
Nonmonotonic reasoning and logic programs. Zbl 0792.68019
Herre, Heinrich
1
1991
Foundations of logic programming. Zbl 0834.68008
Goltz, Hans-Joachim; Herre, Heinrich
1
1990
Entscheidbarkeit der Theorie der linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang-Quantor. Zbl 0429.03008
Herre, Heinrich; Wolter, Helmut
1
1979
A remark concerning a generalized Morley-rank. (Preprint). Zbl 0402.03031
Herre, Heinrich; Bekenow, Machsut
1
1979
Entscheidbarkeit der Theorie der linearen Ordnung in \(L_{Q_\nu}\) für reguläres \(\omega_\nu\). Zbl 0382.03011
Herre, H.; Wolter, H.
1
1978
Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie. II. Zbl 0284.02023
Hauschild, Kurt; Herre, Heinrich; Rautenberg, Wolfgang
1
1972
Entscheidbarkeit der monadischen Theorie 2. Stufe der n-separierten Graphen. Zbl 0264.02046
Hauschild, Kurt; Herre, Heinrich; Rautenberg, Wolfgang
1
1972
Partial logics with two kinds of negation as a foundation for knowledge-based reasoning. Zbl 0982.03016
Herre, Heinrich; Jaspars, Jan; Wagner, Gerd
4
1999
Nonmonotonic reasoning with multiple belief sets. Zbl 0920.03039
Engelfriet, Joeri; Herre, Heinrich; Treur, Jan
1
1998
Nonmonotonic reasoning with multiple belief sets. Zbl 1419.68111
Engelfriet, Joeri; Herre, Heinrich; Treur, Jan
1
1996
Compactness properties of nonmonotonic inference operations. Zbl 0988.03522
Herre, H.
3
1994
Disjunctive logic programming, constructivity and strong negation. Zbl 0925.68098
Herre, Heinrich; Pearce, David
2
1992
The Härtig quantifier: A survey. Zbl 0737.03013
Herre, Heinrich; Krynicki, Michał; Pinus, Alexander; Väänänen, Jouko
5
1991
Nonmonotonic reasoning and logic programs. Zbl 0792.68019
Herre, Heinrich
1
1991
Foundations of logic programming. Zbl 0834.68008
Goltz, Hans-Joachim; Herre, Heinrich
1
1990
Superstable graphs. Zbl 0698.05042
Herre, Heinrich; Mekler, Alan H.; Smith, Kenneth W.
8
1983
Modelltheoretische Eigenschaften endlichvalenter Graphen. Zbl 0445.03015
Herre, Heinrich
3
1980
Entscheidbarkeit der Theorie der linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang-Quantor. Zbl 0429.03008
Herre, Heinrich; Wolter, Helmut
1
1979
A remark concerning a generalized Morley-rank. (Preprint). Zbl 0402.03031
Herre, Heinrich; Bekenow, Machsut
1
1979
Zum Entscheidungsproblem für Theorien in Logiken mit monadischen verallgemeinerten Quantoren. Zbl 0397.03010
Herre, H.; Pinus, A. G.
3
1978
Entscheidbarkeit der Theorie der linearen Ordnung in \(L_{Q_\nu}\) für reguläres \(\omega_\nu\). Zbl 0382.03011
Herre, H.; Wolter, H.
1
1978
Entscheidbarkeit der Theorie der linearen Ordnung in \(L_{Q_1}\). Zbl 0368.02015
Herre, H.; Wolter, H.
2
1977
Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quantoren. Zbl 0318.02049
Herre, Heinrich; Wolter, Helmut
2
1975
Unentscheidbarkeit in der Graphentheorie. Zbl 0279.05101
Herre, H.
2
1973
Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie. II. Zbl 0284.02023
Hauschild, Kurt; Herre, Heinrich; Rautenberg, Wolfgang
1
1972
Entscheidbarkeit der monadischen Theorie 2. Stufe der n-separierten Graphen. Zbl 0264.02046
Hauschild, Kurt; Herre, Heinrich; Rautenberg, Wolfgang
1
1972

Citations by Year