Gert Smolka
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- Germany
- MGP identifier
- 85285
Dissertation: Logic Programming over Polymorphically Order-Sorted Types
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Jörg H. SiekmannUniversity of Essex · 1976
Students 27
| Name | Institution | Year | Students |
|---|---|---|---|
| Serge Autexier | Not recorded | — | 0 |
| Rolf Backofen | Not recorded | — | 3 |
| Ralph Debusmann | Not recorded | — | 0 |
| Christian Doczkal | Not recorded | — | 0 |
| Katrin Erk | Not recorded | — | 2 |
| Yannick Forster | Not recorded | — | 0 |
| Andreas V. Hense | Not recorded | — | 0 |
| Martin Henz | Not recorded | — | 1 |
| Jonas Kaiser | Not recorded | — | 0 |
| Mark Kaminski | Not recorded | — | 0 |
| Alexander Koller | Not recorded | — | 0 |
| Leif Kornstaedt | Not recorded | — | 0 |
| Marco Kuhlmann | Not recorded | — | 3 |
| Michael Mehl | Not recorded | — | 0 |
| Mathias Möhl | Not recorded | — | 0 |
| Martin Müller | Not recorded | — | 0 |
| Tobias Müller | Not recorded | — | 0 |
| Joachim Niehren | Not recorded | — | 1 |
| Andreas Rossberg | Not recorded | — | 0 |
| Steven Schäfer | Not recorded | — | 0 |
| Ralf Scheidhauer | Not recorded | — | 0 |
| Christian Schulte | Not recorded | — | 1 |
| Kathrin Stark | Not recorded | — | 0 |
| Guido Tack | Not recorded | — | 1 |
| Ralf Treinen | Not recorded | — | 1 |
| Joachim Paul Walser | Not recorded | — | 0 |
| Jörg Würtz | Not recorded | — | 0 |