Martin Wirsing

MathSciNet


Ph.D. Ludwig-Maximilians-Universität München 1976 Germany
Dissertation: Das Entscheidungsproblem der Prädikatenlogik 1. Stufe mit Identität und Funktionszeichen in Herbrandformeln

Advisor: Kurt Schütte

Students:
Click here to see the students ordered by family name.

NameSchoolYearDescendants
Beierle, ChristophUniversität Kaiserslautern19852
Hennicker, RolfUniversität Passau19882
Nickl, FriederikeUniversität Passau1988
Geser, AlfonsUniversität Passau1990
Breu, RuthUniversität Passau19911
Fraus, UlrichUniversität Passau1994
Cengarle, MariaLudwig-Maximilians-Universität München1995
Mandel, LuisLudwig-Maximilians-Universität München1995
Mehlich, MichaelLudwig-Maximilians-Universität München1995
Reus, BernhardLudwig-Maximilians-Universität München1995
Bauer, BernhardTechnische Universität München1996
Mück, AndyLudwig-Maximilians-Universität München1996
Peterreins, HannesLudwig-Maximilians-Universität München1996
Zhang, WeishiLudwig-Maximilians-Universität München1996
Dranidis, DimitrisLudwig-Maximilians-Universität München1997
Lechner, UlrikeUniversität Passau199710
Wolf, ArminTechnische Universität Berlin1999
Knapp, AlexanderLudwig-Maximilians-Universität München2000
Lyabakh, NatalyLudwig-Maximilians-Universität München2000
Parcus de Koch, NoraLudwig-Maximilians-Universität München2000
Störrle, HaraldLudwig-Maximilians-Universität München2000
Aoumeur, NasreddineOtto-von-Guericke-Universität Magdeburg2001
Hauck, RainerLudwig-Maximilians-Universität München2001
Hölzl, MatthiasLudwig-Maximilians-Universität München2001
Pattinson, DirkLudwig-Maximilians-Universität München20015
Reiser, HelmutLudwig-Maximilians-Universität München20014
Meier, PhilippLudwig-Maximilians-Universität München2005
Yang, ShipingLudwig-Maximilians-Universität München2006
Helke, SteffenTechnische Universität Berlin2007
Al-Dehni, ShadiLudwig-Maximilians-Universität München2008
Barth, MichaelLudwig-Maximilians-Universität München2008
Wenke, BirgitUniversität der Bundeswehr München2008
Alessandrini, MichelWestfälische Wilhelms-Universität Münster2009
Hammer, MoritzLudwig-Maximilians-Universität München2009
Harhurin, AlexanderTechnische Universität München2010
Mangold, FlorianLudwig-Maximilians-Universität München2010
Mayer, PhilipLudwig-Maximilians-Universität München2010
Rauschmayer, AxelLudwig-Maximilians-Universität München2010
Zhang, GefeiLudwig-Maximilians-Universität München2010
Schroeder, AndreasLudwig-Maximilians-Universität München2011
Sampathkumaran, ParthaLudwig-Maximilians-Universität München2013
Meier, MaxLudwig-Maximilians-Universität München2014
Belzner, LenzLudwig-Maximilians-Universität München2016
Busch, MarianneLudwig-Maximilians-Universität München2016
Kroiß, ChristianLudwig-Maximilians-Universität München2016

According to our current on-line database, Martin Wirsing has 45 students and 66 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 21918 for the advisor ID.