Wolfram-Manfred Lippe
Original record- Institution
- Universität des Saarlandes
- Year
- 1975
- Country
- Germany
- MGP identifier
- 29329
Dissertation: Über die Entscheidbarkeit der formalen Erreichbarkeit von Prozeduren bei monadischen Programmen
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisors 0
No advisor recorded in this snapshot.
Students 8
| Name | Institution | Year | Students |
|---|---|---|---|
| Michel Alessandrini | Not recorded | — | 0 |
| Kristina Davoian | Not recorded | — | 0 |
| Thomas Feuring | Universität Münster | 1995 | 0 |
| Wolfgang Golubski | Not recorded | — | 0 |
| Joachim Bernhard Hundehege | Universität Münster | 1993 | 0 |
| Steffen Niendieck | Universität Münster | 2004 | 0 |
| Thomas Prundt | Universität Münster | 1998 | 0 |
| Frank Unglauben | Universität Münster | 2002 | 0 |