Heinrich Herre

MathSciNet


Ph.D. Humboldt-Universität zu Berlin 1976 Germany
Dissertation: Entscheidungsprobleme für Theorien in Logiken mit verallgemeinerten Quantoren

Advisor: Kurt Hauschild

Students:
Click here to see the students listed in chronological order.

NameSchoolYearDescendants
Dietrich, JensUniversität Leipzig19974
Ho, NgocUniversität Leipzig2001
Hoehndorf, RobertUniversität Leipzig2009
Neitz, WilfriedUniversität Leipzig1997
Schwarz, SibylleUniversität Leipzig2004

According to our current on-line database, Heinrich Herre has 5 students and 9 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 20771 for the advisor ID.