1 - Sur l'élimination des quantificateurs et diverses théories d'algèbres monadiques rationnelles
Damato, Milton   /   Guillaume, Marcel (1928-2016) (Directeur de Thèse)   /   Besserre, A. M. (Jury)   /   Chadeyras, M. (Jury)   /   Micali, M. A. (Jury)

Cote : [Thèse 380-73]