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 ordered by family name.

Benzmüller, ChristophUniversität des Saarlandes19992
Normann, ImmanuelJacobs University Bremen2008
Rabe, FlorianJacobs University Bremen2008

According to our current on-line database, Michael Kohlhase has 3 students and 5 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.