Michael Kohlhase


Ph. D. Universität des Saarlandes 1994 Germany
Dissertation: A Mechanization of Sorted Higher-Order Logic Based on the Resolution Principle
Mathematics Subject Classification: 68—Computer science

Advisor 1: Jörg H. Siekmann
Advisor 2: Peter Bruce Andrews
Advisor 3: Frank Pfenning

Click here to see the students listed in chronological order.

Benzmüller, ChristophUniversität des Saarlandes19992
Müller, DennisFriedrich-Alexander-Universität Erlangen-Nürnberg2019
Normann, ImmanuelJacobs University Bremen2008
Rabe, FlorianJacobs University Bremen20081

According to our current on-line database, Michael Kohlhase has 4 students and 6 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 136649 for the advisor ID.