Jérôme Lang
Original record- Institution
- Université Paul Sabatier - Toulouse III
- Year
- 1991
- Country
- France
- MGP identifier
- 176882
Dissertation: Logique possibiliste: aspects formels, deduction automatique, et applications
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Henri PradeInstitution not recorded
Students 15
| Name | Institution | Year | Students |
|---|---|---|---|
| Tahar Allouche | Université Paris IX - Dauphine | 2022 | 0 |
| Manel Ayadi | Université Paris IX - Dauphine | 2019 | 0 |
| Nathanaël Barrot | Université Paris IX - Dauphine | 2016 | 0 |
| Meghyn Bienvenu | Université de Toulouse | 2009 | 0 |
| Elise Bonzon | Université Paul Sabatier - Toulouse III | 2007 | 1 |
| Sylvain Bouveret | Université de Toulouse | 2007 | 3 |
| Giulia Cesari | Université Paris IX - Dauphine | 2016 | 0 |
| Théo Delemazure | Université Paris IX - Dauphine | 2025 | 0 |
| Virginie Do | Université Paris IX - Dauphine | 2023 | 0 |
| Justin Kruger | Université Paris IX - Dauphine | 2019 | 0 |
| Céline Lafage | Université Paul Sabatier - Toulouse III | 2001 | 0 |
| Noël Laverny | Université Paul Sabatier - Toulouse III | 2006 | 0 |
| Charles Lumet | Institut supérieur de l'aéronautique et de l'espace | 2012 | 0 |
| Thomas Polacsek | Université Paul Sabatier - Toulouse III | 2004 | 0 |
| Nasolo Ravoanjanahary | Université Paul Sabatier - Toulouse III | 2008 | 0 |