Preuves, Programmes et Systèmes

Publications de PPS

1. Dernières publications saisies dans HAL
   
2. Les prépublications
   La Série des Publications Electroniques des membres de l'équipe PPS contient des prépublications d'articles de revues ou de comptes-rendus de conférences, des thèses de doctorat, des notes de cours, ainsi que des manuscrits divers dont les auteurs ont pensé qu'ils pourraient intéresser la communauté. La série a été créée en Janvier 2002.
   
3. URLs de livres ou de gros ensembles de notes de cours

Instructions de soumission / informations sur HAL.