Ricardo Caferra
Original record- Institution
- Université Joseph Fourier Grenoble I
- Year
- 1982
- Country
- France
- MGP identifier
- 150988
Dissertation: Abstraction, partage de structure et retour arrière non aveugle dans la méthode de réduction matricielle en démonstration automatique de théorèmes
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Philippe JorrandInstitut National Polytechnique de Grenoble (INPG) · 1975
Students 6
| Name | Institution | Year | Students |
|---|---|---|---|
| Vincent Aravantinos | Université Stendhal (Grenoble III) | 2010 | 0 |
| Hicham Bensaid | Université de Grenoble | 2011 | 0 |
| Thierry Boy de la Tour | Institut National Polytechnique de Grenoble (INPG) | 1991 | 1 |
| Stéphane Demri | Institut National Polytechnique de Grenoble (INPG) | 1994 | 1 |
| Bertrand Mnacho Echenim | Institut National Polytechnique de Grenoble (INPG) | 2005 | 1 |
| Nicolas Peltier | Not recorded | 1997 | 3 |