Lakhdar Saïs
Ph.D. Aix-Marseille Université 1993
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 Siegel
Student:
| Name | School | Year | Descendants |
|---|---|---|---|
| Lagniez, Jean-Marie | Université d'Artois | 2011 |
According to our current on-line database, Lakhdar Saïs has 1 student and 1 descendant.
We welcome any additional information.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 343430 for the advisor ID.