Stéphane Demri


Ph.D. Institut National Polytechnique de Grenoble (INPG) 1994 France
Dissertation: Approches directe et par traduction en logiques modales : nouvelles stratégies et traduction inverse de preuves
Mathematics Subject Classification: 68—Computer science

Advisor: Ricardo Caferra

Student:

NameSchoolYearDescendants
Figueira, DiegoÉcole Normale Supérieure de Cachan2010

According to our current on-line database, Stéphane Demri has 1 student and 1 descendant.
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 151447 for the advisor ID.