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 listed in chronological order.

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

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.