Standardstrukturen für Systeme expliziter Mathematik
Basic data of the doctoral examination procedure
Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster
Period of time: to 16/12/1993
Status: completed
Candidate: Glaß, Thomas
Doctoral subject: Mathematik
Doctoral degree: Dr. rer. nat.
Awarded by: Department 10 - Mathematics and Computer Science
Supervisors: Pohlers, Wolfram
Supervision at the University of Münster
| Pohlers, Wolfram | Institute of Mathematical Logic and Basic Research |