Belaïd Benhamou
Original record- Institution
- Aix-Marseille Université
- Year
- 1993
- Country
- France
- MGP identifier
- 343428
Dissertation: Etude des symétries et de la cardinalité en calcul propositionnel : application aux algorithmes syntaxiques
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Pierre SiegelInstitution not recorded
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Gilles Audemard | Aix-Marseille Université | 2001 | 1 |