Gert Smolka

MathSciNet


Dr. rer. nat. Universität Kaiserslautern 1989 Germany
Dissertation: Logic Programming over Polymorphically Order-Sorted Types
Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor: Jörg H. Siekmann

Students:
Click here to see the students listed in chronological order.

NameSchoolYearDescendants
Autexier, SergeUniversität des Saarlandes2003
Backofen, RolfUniversität des Saarlandes19942
Debusmann, RalphUniversität des Saarlandes2006
Doczkal, ChristianUniversität des Saarlandes2015
Erk, KatrinUniversität des Saarlandes20022
Forster, YannickUniversität des Saarlandes2021
Hense, AndreasUniversität des Saarlandes1994
Henz, MartinUniversität des Saarlandes19971
Kaiser, JonasUniversität des Saarlandes2019
Kaminski, MarkUniversität des Saarlandes2012
Koller, AlexanderUniversität des Saarlandes2004
Kornstaedt, LeifUniversität des Saarlandes2006
Kuhlmann, MarcoUniversität des Saarlandes20073
Mehl, MichaelUniversität des Saarlandes1999
Möhl, MathiasUniversität des Saarlandes2009
Müller, MartinUniversität des Saarlandes1998
Müller, TobiasUniversität des Saarlandes2001
Niehren, JoachimUniversität des Saarlandes19951
Rossberg, AndreasUniversität des Saarlandes2007
Schäfer, StevenUniversität des Saarlandes2019
Scheidhauer, RalfUniversität des Saarlandes1999
Schulte, ChristianUniversität des Saarlandes20002
Stark, KathrinUniversität des Saarlandes2020
Tack, GuidoUniversität des Saarlandes20091
Walser, JoachimUniversität des Saarlandes1998
Würtz, JörgUniversität des Saarlandes1998

According to our current on-line database, Gert Smolka has 26 students and 35 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 85285 for the advisor ID.