Alexander Kurz
Original record- Institution
- Ludwig-Maximilians-Universität München
- Year
- 2000
- Country
- Germany
- MGP identifier
- 92735
Dissertation: Logics for Coalgebras and Applications to Computer Science
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisors 2
- Horst ReichelInstitution not recorded
- Fred KrögerInstitution not recorded
Students 7
| Name | Institution | Year | Students |
|---|---|---|---|
| Octavian Vladut Babus | University of Leicester | 2016 | 0 |
| Samuel Balco | University of Leicester | 2020 | 0 |
| Christian Kissig | University of Leicester | 2012 | 0 |
| Clemens Achim Kupke | Universiteit van Amsterdam | 2006 | 1 |
| Daniela Luana Petrisan | University of Leicester | 2011 | 0 |
| Tomoyuki Suzuki | University of Leicester | 2011 | 0 |
| Hao Zeng | University of Leicester | 2019 | 0 |