Communication Dans Un Congrès
Année : 2002
Pascal Urso : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00463819
Soumis le : lundi 15 mars 2010-11:26:46
Dernière modification le : lundi 26 février 2024-11:22:07
Dates et versions
Identifiants
- HAL Id : hal-00463819 , version 1
Citer
Pascal Urso, Emmanuel Kounalis. Généralisations correctes pour l'induction mathématique. Journées francophones de la programmation en logique avec contraintes - JFPLC 2002, May 2002, Nice, France. pp.211-226. ⟨hal-00463819⟩
Collections
71
Consultations
0
Téléchargements