Le moteur de recherche
des thèses françaises
Gabriele Puppis
IdRefMots clés
FR |
EN
Transducteurs
Langages formels
Transducteurs de mots
La sémantique d'origine
Resynchroniseurs
Équivalence
Inclusion
Synthèse
Synthèse de haut niveau (informatique)
Structures de données (informatique)
Automates
Logique
Transduction
Transducteur unidirectionnel et bidirectionnel
SST
Transduction MSO
Théorie de la définissabilité (mathématiques)