Ralf Treinen

MathSciNet


Dr. rer. nat. Universität des Saarlandes 1991 Germany
Dissertation: Modulare Datentypdefinitionen und ihre Beziehungen zur Logik erster Stufe
Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor 1: Gert Smolka

Student:

NameSchoolYearDescendants
Lafourcade, PascalÉcole Normale Supérieure de Cachan20064

According to our current on-line database, Ralf Treinen has 1 student and 5 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 292708 for the advisor ID.