J.-C. Filliâtre. Une procédure de décision pour le Calcul des Prédicats Direct : étude et implémentation dans le système Coq. Rapport de DEA, Ecole Normale Supérieure, Juillet 1994.

[ bib | .dvi.gz ]

Back