Reiner Hähnle
Original record- Institution
- Karlsruher Institut für Technologie (KIT)
- Year
- 1992
- Country
- Germany
- MGP identifier
- 95454
Dissertation: Automated deduction in multiple valued logics
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Peter Hans SchmittInstitution not recorded
Students 7
| Name | Institution | Year | Students |
|---|---|---|---|
| Wolfgang Ahrendt | Not recorded | — | 1 |
| Thomas Baar | Not recorded | — | 2 |
| Magnus P. Björk | Chalmers Tekniska Högskola | 2006 | 0 |
| Richard Bubel | Not recorded | — | 0 |
| Ádám Péter Darvas | Not recorded | — | 0 |
| Martin Giese | Karlsruher Institut für Technologie (KIT) | 2002 | 0 |
| Wojciech Mostowski | Chalmers Tekniska Högskola | 2005 | 0 |