Olivier Gauwin
IdRefMots clés
FR |
EN
Théorie de la définissabilité (mathématiques)
Transductions
Automates
Logique
Transducteurs
Minimisation
Congruence syntaxique
Aperiodicité
Logique du second ordre monadique
Logique du premier ordre
Origine
Vérification
Synthèse
Data words
Transductions rationnelles
Logique monadique du second-ordre
Mots de données
Flux de données
XML (langage de balisage)
XPath (langage de programmation)