Francois Fages
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- France
- MGP identifier
- 137163
Dissertation: Formes canoniques dans les algèbres booléennes et applications à la démonstration automatique en logique de premier ordre.
Advisor 1
- Gérard Pierre HuetCase Western Reserve University · 1972
Students 16
| Name | Institution | Year | Students |
|---|---|---|---|
| Luc Albert | Not recorded | — | 0 |
| Marcos Cavalcanti | Not recorded | — | 0 |
| Katherine Hui-Ju Chiang | National Taiwan University and l'Institut National de Recherche en Informatique et en Automatique (INRIA) | 2015 | 0 |
| Emmanuel Coquery | Not recorded | — | 0 |
| Sorin Craciunescu | Not recorded | — | 0 |
| Julian Fowler | Not recorded | — | 0 |
| Etienne Gaudin | Not recorded | — | 0 |
| Rémy Haemmerlé | Université Pierre-et-Marie-Curie - Paris VI | 2008 | 0 |
| Jean Jourdan | Not recorded | — | 0 |
| Massimo Paltrinieri | Not recorded | — | 0 |
| Laurent Perron | Not recorded | — | 0 |
| Paul Ruet | Not recorded | — | 0 |
| Pierre Savéant | Not recorded | — | 0 |
| Vincent Schächter | Not recorded | — | 0 |
| Thierry Sola | Not recorded | — | 0 |
| Sylvain Soliman | Not recorded | — | 0 |