Thomas Place
IdRefMots clés
FR |
EN
Logique
Automate
Langages formels
Arbres
Algèbre
Structures de données (informatique)
Logique informatique
Langages réguliers
Séparation
Logiques
Automates
Monoïdes
Langages testables par morceaux
Langages non-ambigus
Langages localement testables
Langages localement testables à seuil
Langages algébriques
Langages rationnels
Séparation (informatique)
Décidabilité (logique mathématique)