Hans Tompits
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- Austria
- MGP identifier
- 151614
Dissertation: On Proof Complexities of First-order Nonmonotonic Logics
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisors 2
- Uwe EglyTechnische Universität Darmstadt · 1994
- Georg GottlobInstitution not recorded
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Jörg Pührer | Not recorded | — | 0 |