Bornes supérieures inductives pour la terminaison d'algorithmes
FR
Auteur / Autrice : | Elias Tahhan-Bittar |
Direction : | Maurice Pouzet |
Type : | Thèse de doctorat |
Discipline(s) : | Sciences. Mathématiques |
Date : | Soutenance en 1994 |
Etablissement(s) : | Lyon 1 |
Jury : | Examinateurs / Examinatrices : Maurice Pouzet |
Mots clés
FR