Hans Tompits

MathSciNet


Dr. techn. Technische Universität Wien 1998 Austria
Dissertation: On Proof Complexities of First-order Nonmonotonic Logics
Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor 1: Uwe Egly
Advisor 2: Georg Gottlob

Student:

NameSchoolYearDescendants
Pührer, JörgTechnische Universität Wien2015

According to our current on-line database, Hans Tompits has 1 student and 1 descendant.
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 151614 for the advisor ID.