Christian Georg Fermüller
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- Austria
- MGP identifier
- 125901
Dissertation: Deciding Classes of Clause Sets by Resolution
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisors 2
- Alexander LeitschInstitution not recorded
- Georg GottlobInstitution not recorded
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Michal Ceresna | Technische Universität Wien | 2005 | 0 |
| Esther Anna Corsi | Technische Universität Wien | 2021 | 0 |
| Georg Christian Moser | Technische Universität Wien | 2001 | 2 |