Martin Wirsing
Original record- Institution
- Ludwig-Maximilians-Universität München
- Year
- 1976
- Country
- Germany
- MGP identifier
- 21918
Dissertation: Das Entscheidungsproblem der Prädikatenlogik 1. Stufe mit Identität und Funktionszeichen in Herbrandformeln
Advisor 1
- Kurt SchütteGeorg-August-Universität Göttingen · 1934
Students 45
| Name | Institution | Year | Students |
|---|---|---|---|
| Shadi Al-Dehni | Not recorded | — | 0 |
| Michel Alessandrini | Not recorded | — | 0 |
| Nasreddine Aoumeur | Not recorded | — | 0 |
| Michael Nicolaus Barth | Not recorded | — | 0 |
| Bernhard Bauer | Not recorded | — | 0 |
| Christoph Beierle | Not recorded | — | 13 |
| Lenz Belzner | Not recorded | — | 0 |
| Ruth Breu | Not recorded | — | 1 |
| Marianne Busch | Not recorded | — | 0 |
| Maria Victoria Cengarle | Ludwig-Maximilians-Universität München | 1995 | 0 |
| Dimitris Dranidis | Not recorded | — | 0 |
| Ulrich Fraus | Not recorded | — | 0 |
| Alfons Geser | Not recorded | — | 0 |
| Moritz Hammer | Not recorded | — | 0 |
| Alexander Harhurin | Not recorded | — | 0 |
| Rainer Hauck | Not recorded | — | 0 |
| Steffen Helke | Not recorded | — | 0 |
| Rolf Hennicker | Not recorded | — | 2 |
| Matthias Michael Hölzl | Ludwig-Maximilians-Universität München | 2001 | 0 |
| Alexander Knapp | Ludwig-Maximilians-Universität München | 2000 | 0 |
| Christian Kroiß | Not recorded | — | 0 |
| Ulrike Lechner | Not recorded | — | 13 |
| Nataly Lyabakh | Not recorded | — | 0 |
| Luis Mandel | Ludwig-Maximilians-Universität München | 1995 | 0 |
| Florian Mangold | Not recorded | — | 0 |
| Philip Mayer | Not recorded | — | 0 |
| Michael Mehlich | Not recorded | — | 0 |
| Max Meier | Not recorded | — | 0 |
| Philipp Meier | Not recorded | — | 0 |
| Andy Mück | Not recorded | — | 0 |
| Friederike Nickl | Not recorded | — | 0 |
| Nora Parcus de Koch | Not recorded | — | 0 |
| Dirk Achim Pattinson | Ludwig-Maximilians-Universität München | 2001 | 5 |
| Hannes Peterreins | Not recorded | — | 0 |
| Axel Rauschmayer | Not recorded | — | 0 |
| Helmut Reiser | Not recorded | — | 4 |
| Bernhard Reus | Not recorded | — | 0 |
| Partha Sampathkumaran | Not recorded | — | 0 |
| Andreas Schroeder | Not recorded | — | 0 |
| Harald Störrle | Not recorded | — | 0 |
| Birgit Wenke | Not recorded | — | 0 |
| Armin Wolf | Not recorded | — | 0 |
| Shiping Yang | Not recorded | — | 0 |
| Gefei Zhang | Not recorded | — | 0 |
| Weishi Zhang | Not recorded | — | 0 |