L. Wolfgang (Leonhard) Bibel
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- Germany
- MGP identifier
- 58245
Dissertation: Schnittelimination in einem Teilsystem der einfachen Typenlogik
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Kurt SchütteGeorg-August-Universität Göttingen · 1934
- Helmuth GerickeInstitution not recorded
Students 39
| Name | Institution | Year | Students |
|---|---|---|---|
| Mauro Birattari | Université Libre de Bruxelles | 2004 | 8 |
| Gerhard Brewka | Universität Hamburg | 1989 | 6 |
| Stefan Brüning | Technische Universität Darmstadt | 1994 | 0 |
| Marco Chiarandini | Technische Universität Darmstadt | 2005 | 2 |
| Matthijs Leendert den Besten | Technische Universität Darmstadt | 2004 | 0 |
| Elmar Eder | Ludwig-Maximilians-Universität München | 1977 | 0 |
| Uwe Egly | Technische Universität Darmstadt | 1994 | 3 |
| Jutta Eusterbrock | Universität Stuttgart | 1992 | 0 |
| Bertram Fronhöfer | Université Joseph Fourier Grenoble I | 1989 | 0 |
| Thomas F. Gordon | Technische Universität Darmstadt | 1993 | 0 |
| Gunter Grieser | Not recorded | — | 0 |
| Gerd Große | Technische Universität Darmstadt | 1996 | 0 |
| Christoph Herrmann | Technische Universität Darmstadt | 1996 | 0 |
| Steffen Hölldobler | Not recorded | — | 3 |
| Holger Hendrik Hoos | Technische Universität Darmstadt | 1998 | 6 |
| Klaus Martin Hörnig | Ludwig-Maximilians-Universität München | 1981 | 0 |
| Maria-Blanca Ibanez-Espiga | Université Joseph Fourier Grenoble I | 1989 | 0 |
| Hesham Khalil | Technische Universität Darmstadt | 2002 | 0 |
| Daniel Simon Korn | Technische Universität Darmstadt | 1998 | 0 |
| Franz Kurfeß | Technische Universität München | 1990 | 0 |
| Soo Woo Lee | Technische Universität Darmstadt | 1997 | 0 |
| Reinhold Letz | Technische Universität Darmstadt | 1993 | 0 |
| Chunping Li | Technische Universität Darmstadt | 1999 | 0 |
| Gerd Neugebauer | Technische Universität Darmstadt | 1992 | 0 |
| Jens Otten | Universität Potsdam | 2013 | 0 |
| Luis Paquete | Technische Universität Darmstadt | 2005 | 5 |
| Runping Qi | University of British Columbia | 1994 | 0 |
| Torsten H. Schaub | Not recorded | — | 1 |
| Stephan Schmitt | Technische Universität Darmstadt | 1999 | 0 |
| Josef Schneeberger | Not recorded | — | 0 |
| Ulrich Scholz | Technische Universität Darmstadt | 2004 | 0 |
| Johann M. Ph. Schumann | Technische Universität München | 1991 | 0 |
| Andreas Strasser | Technische Universität München | 1991 | 0 |
| Antje Strohmaier | Not recorded | — | 0 |
| Thomas Stützle | Technische Universität Darmstadt | 1998 | 8 |
| Michael Thielscher | Technische Universität Darmstadt | 1994 | 9 |
| Klaus Varrentrapp | Technische Universität Darmstadt | 2005 | 0 |
| Christian Wagner | University of British Columbia | 1989 | 0 |
| Serhiy Yevtushenko | Technische Universität Darmstadt | 2004 | 0 |