Données conformes au Procès Verbal de Soutenance.
Thèse de Doctorat
de Mlle
LIOGIER Karine
NEGATION, CONTRAINTES ET PROGRAMMATION LOGIQUE
Soutenue le 13 Décembre 1996
à Universite de la Mediterrannee