Michael Kohlhase

MathSciNet


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

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

NameSchoolYearDescendants
Benzmueller, ChristophUniversität des Saarlandes1999
Normann, Immanuel2008
Rabe, FlorianJacobs University Bremen2008

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