Andreas Herzig
Original record- Institution
- Université Paul Sabatier - Toulouse III
- Year
- 1989
- Country
- France
- MGP identifier
- 129772
Dissertation: Automated theorem proving in modal logic and unification algorithms (Demonstration automatique en logique modale et algorithmes d'unification)
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Luis Fariñas del CerroInstitution not recorded
Students 25
| Name | Institution | Year | Students |
|---|---|---|---|
| Carole Adam | Institut National Polytechnique de Toulouse | 2007 | 0 |
| Guillaume Aucher | University of Otago and Université de Toulouse | 2008 | 1 |
| Meghyn Bienvenu | Université de Toulouse | 2009 | 0 |
| Marcos A. Castilho | Université Paul Sabatier - Toulouse III | 1998 | 0 |
| Tiago de Lima | Université de Toulouse | 2007 | 1 |
| Olivier Gasquet | Université Paul Sabatier - Toulouse III | 1994 | 4 |
| Benoit Gaudou | Université de Toulouse | 2008 | 0 |
| Nadine Guiraud | Informatique et Télécommunications de Toulouse | 2013 | 0 |
| Seifeddine Kramdi | Université de Toulouse | 2015 | 0 |
| Dominique Longin | Université Paul Sabatier - Toulouse III | 1999 | 4 |
| Faustine Maffre | Université Paul Sabatier - Toulouse III | 2016 | 0 |
| Frédéric Moisan | Université de Toulouse | 2013 | 0 |
| Elise Perrotin | Université Paul Sabatier - Toulouse III | 2021 | 0 |
| Thomas Polacsek | Université Paul Sabatier - Toulouse III | 2004 | 0 |
| Christos Rantsoudis | Université de Toulouse | 2018 | 0 |
| Omar Rifi | Université Paul Sabatier - Toulouse III | 2000 | 0 |
| Mohamad Sahade | Université Paul Sabatier - Toulouse III | 2006 | 0 |
| Bilal Said | Université de Toulouse | 2010 | 0 |
| François Schwarzentruber | Université Paul Sabatier - Toulouse III | 2010 | 0 |
| Ezgi Iraz Su | Informatique et Télécommunications de Toulouse | 2015 | 0 |
| Nicolas Troquard | Università degli Studi di Trento and Université Paul Sabatier - Toulouse III | 2007 | 0 |
| Ivan José Varzinczak | Université Paul Sabatier - Toulouse III | 2006 | 0 |
| Julien Vianey | Université Paul Sabatier - Toulouse III | 2020 | 0 |
| Zhanhao Xiao | Université de Toulouse and University of Western Sydney | 2017 | 0 |
| Dengji Zhao | University of Western Sydney and Université Toulouse 1 Capitole | 2012 | 2 |