Didier Caucal
Original record- Institution
- Université Paris Diderot - Paris 7
- Year
- 1985
- Country
- France
- MGP identifier
- 17010
Dissertation: Décidabilité de l'équivalence forte des schémas récursifs de programmes monadiques
Advisor 1
- Laurent KottUniversité Paris Diderot - Paris 7 · 1979
Students 8
| Name | Institution | Year | Students |
|---|---|---|---|
| Thierry Cachat | Rheinisch-Westfälische Technische Hochschule Aachen | 2003 | 0 |
| Arnaud Carayol | Université de Rennes 1 | 2006 | 1 |
| Thomas Colcombet | Université de Rennes 1 | 2004 | 2 |
| Trong Hieu Dinh | Université Paris-Est Marne-la-Vallée | 2011 | 0 |
| Christophe Morvan | Université de Rennes 1 | 2001 | 1 |
| Vincent Penelle | Université Paris-Est Marne-la-Vallée | 2015 | 0 |
| Tanguy Urvoy | Institut de recherche en informatique et systèmes aléatoires | 2002 | 1 |
| Stefan Wöhrle | Rheinisch-Westfälische Technische Hochschule Aachen | 2005 | 0 |