Sophie Tourret
Original record- Institution
- Université Grenoble Alpes
- Year
- 2016
- Country
- France
- MGP identifier
- 337523
Dissertation: Prime implicate generation in equational logic
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Bertrand Mnacho EchenimInstitut National Polytechnique de Grenoble (INPG) · 2005
- Nicolas PeltierInstitution not recorded · 1997
Students 0
No students recorded in this snapshot.