Dirk Siefkes
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- Germany
- MGP identifier
- 36683
Dissertation: Decidable Monadic Second Order Theory of Arithmetic
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Gert Heinz MüllerUniversität Graz · 1947
Students 5
| Name | Institution | Year | Students |
|---|---|---|---|
| Gerhard Buntrock | Not recorded | — | 0 |
| Clemens Lautemann | Technische Universität Berlin | 1983 | 4 |
| Bernd Mahr | Not recorded | — | 8 |
| Arfst Nickelsen | Not recorded | — | 0 |
| Till Tantau | Not recorded | — | 1 |