Aller directement à la barre de recherche
Le moteur de recherche
des thèses françaises
Les thèses
Les personnes
liées aux thèses
Rechercher des thèses
Désactiver l'aide à la saisie
Recherche Avancée
Recherche Avancée
Alain
Quéré
IdRef
Mots clés
FR
Programmation logique
Transformation programme
Preuve programme
Pliage
Dépliement
Logical programming
Program transformation
Program proof
Folding
Unfolding
Liste des thèses par rôle
Directeur / Directrice de 1 thèse(s)