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
Rechercher des thèses
Désactiver l'aide à la saisie
Recherche Avancée
Recherche Avancée
Pierre
Réty
IdRef
Mots clés
FR
Sciences appliquées
Informatique, automatique théorique, systèmes
Langage formel
Réécriture
Réduction
Unification
Équation
Déductibilité
Formal language
Rewriting
Reduction
Equation
Deductibility
Réécriture, Systèmes de (informatique)
Systèmes informatiques
Liste des thèses par rôle
Auteur / Autrice de 1 thèse(s)