Martin Leucker
Original record- Institution
- Rheinisch-Westfälische Technische Hochschule Aachen
- Year
- 2002
- Country
- Germany
- MGP identifier
- 81765
Dissertation: Logics for Mazurkiewicz Traces
Advisors 2
- Wolfgang ThomasInstitution not recorded
- Klaus IndermarkInstitution not recorded
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Normann Decker | Not recorded | — | 0 |