Nicolas Bedon
IdRefMots clés
FR |
EN
Analyse automatique (linguistique)
Langages formels
Automates et logique
Posets N-libres transfinis
Posets série parallèles
Langage rationnel
Automate branchant
Logique monadique du second ordre
Décidabilité
Arithmétique de Presburger
Variété
Algèbre libre
Théorie équationnelle
Automates de Büchi
Théorie des automates mathématiques
Ensembles partiellement ordonnés
Langages rationnels
Logique monadique du second-ordre
Décidabilité (logique mathématique)