Liste des citations dans Numdam pour : Un principe de résolution en logique modale

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 18 (1984), p. 161-170 / Harvested from Numdam

Fariñas Del Cerro, Luis

Les modalités de la correction totale
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 16 (1982), p. 349-363 / Harvested from Numdam