Gerd Veenker

MathSciNet


Dr. rer. nat. Eberhard-Karls-Universität Tübingen 1967 Germany
Dissertation: Beweisverfahren für den Prädikatenkalkül

Advisor 1: Karl Longin Zeller
Advisor 2: Helmut Heinrich Schaefer

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

NameSchoolYearDescendants
Fröning, RainerRheinische Friedrich-Wilhelms-Universität Bonn1976
Hertzberg, JoachimRheinische Friedrich-Wilhelms-Universität Bonn198626
Klein, EberhardRheinische Friedrich-Wilhelms-Universität Bonn1976
Schmidt, PeterRheinische Friedrich-Wilhelms-Universität Bonn1977
Steinhage, VolkerRheinische Friedrich-Wilhelms-Universität Bonn1992
Vorwerk, ErichRheinische Friedrich-Wilhelms-Universität Bonn1976
Wirtz, GuidoRheinische Friedrich-Wilhelms-Universität Bonn199020

According to our current on-line database, Gerd Veenker has 7 students and 53 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 21679 for the advisor ID.