Ralf Treinen
Dr. rer. nat. Universität des Saarlandes 1991
Dissertation:
Modulare Datentypdefinitionen und ihre Beziehungen zur Logik erster Stufe
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1: Gert Smolka
Student:
| Name | School | Year | Descendants |
|---|---|---|---|
| Lafourcade, Pascal | École Normale Supérieure de Cachan | 2006 | 3 |
According to our current on-line database, Ralf Treinen has 1 student and 4 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.