Les liens ci-dessus pointent vers des références bibliographiques anciennes (antérieures à 2010). Pour accéder aux références récentes, suivre les liens élaborés par HAL (colonne de droite).
Ce site est maintenu par René Quiniou au moyen du système Weave développé au sein du projet Caravel : http://www-caravel.inria.fr.
Dernière modification : 07-10-2011 09:54:25
