Sound generalizations and methods for mathematical induction
Généralisations et méthodes correctes pour l'induction mathématique
Résumé
Disponible dans le fichier attaché
Thèse
Année : 2002
Estelle Nivault : Connectez-vous pour contacter le contributeur
https://theses.hal.science/tel-00505928
Soumis le : lundi 26 juillet 2010-15:48:19
Dernière modification le : jeudi 16 mai 2024-15:00:04
Dates et versions
Identifiants
- HAL Id : tel-00505928 , version 1
Citer
Pascal Urso. Généralisations et méthodes correctes pour l'induction mathématique. Informatique [cs]. Université Nice Sophia Antipolis, 2002. Français. ⟨NNT : ⟩. ⟨tel-00505928⟩
388
Consultations
122
Téléchargements