Luis Fariñas del Cerro
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- France
- MGP identifier
- 156196
Dissertation: Déduction automatique et logique modale
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Maurice Paul NivatUniversité Joseph Fourier Grenoble I · 1967
Students 17
| Name | Institution | Year | Students |
|---|---|---|---|
| Jean-Marc Alliot | Université Paul Sabatier - Toulouse III | 1992 | 0 |
| Philippe Balbiani | Université de Toulouse | 1991 | 4 |
| Pierre Bieber | Université Paul Sabatier - Toulouse III | 1992 | 1 |
| Nathalie Chetcuti | Université Paul Sabatier - Toulouse III | 2001 | 0 |
| Marta Cialdea | Université Paul Sabatier - Toulouse III | 1986 | 0 |
| Jean-François Condotta | Université Paul Sabatier - Toulouse III | 2000 | 0 |
| Gabriella Crocco | Université Paul Sabatier - Toulouse III | 1993 | 1 |
| Olivier Gasquet | Université Paul Sabatier - Toulouse III | 1994 | 4 |
| Andreas Herzig | Université Paul Sabatier - Toulouse III | 1989 | 25 |
| Philippe Lamarre | Université de Toulouse | 1992 | 1 |
| Mamede Lima Marques | Not recorded | 1992 | 0 |
| Anne Lopez | Université Paul Sabatier - Toulouse III | 1995 | 0 |
| Valerie Lugardon | Université Paul Sabatier - Toulouse III | 1996 | 0 |
| Claudio Masolo | Not recorded | 2000 | 0 |
| Naji Obeid | Université de Toulouse | 2014 | 0 |
| Christel Seguin | Université de Toulouse | 1992 | 0 |
| Ezgi Iraz Su | Informatique et Télécommunications de Toulouse | 2015 | 0 |