Lakhdar Saïs
Original record- Institution
- Aix-Marseille Université
- Year
- 1993
- Country
- France
- MGP identifier
- 343430
Dissertation: Etude des symétries et de la cardinalité en calcul propositionnel : application aux algorithmes sémantiques
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Pierre SiegelInstitution not recorded
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Jean-Marie Lagniez | Université d'Artois | 2011 | 0 |