Le moteur de recherche
des thèses françaises
Thomas Colcombet
IdRefMots clés
FR |
EN
Synthèse
Logique du premier ordre
Langages rationnels
Théorie des jeux
Théorie des automates mathématiques
Langages formels
Transductions
Minimisation
Congruence syntaxique
Aperiodicité
Logique du second ordre monadique
Origine
Vérification
Data words
Théorie de la définissabilité (mathématiques)
Transductions rationnelles
Logique monadique du second-ordre
Mots de données
Synthèse de contrôleurs
Jeux sur graphes