Le moteur de recherche
des thèses françaises
Emmanuel Filiot
IdRefMots clés
FR |
EN
Synthèse
Langages formels
Transducteurs
Synthèse de haut niveau (informatique)
Théorie de la définissabilité (mathématiques)
Vérification
Mots de données
Traitement réparti
Logiciels -- Vérification
Transducteurs de mots
La sémantique d'origine
Resynchroniseurs
Équivalence
Inclusion
Structures de données (informatique)
Transductions
Minimisation
Congruence syntaxique
Aperiodicité
Logique du second ordre monadique