Arnaud Carayol
IdRefMots clés
FR |
EN
Théorie des automates mathématiques
Systèmes combinatoires
Série holonome
Théorie des automates
Élément absorbant
Intrinsèque ambiguïté
Réduction
Systèmes holonomes
Analyse combinatoire
Thésaurus
Audit informatique
Récursivité, Théorie de la
Logiciels -- Vérification
Code source (informatique)
Automates et logique
Posets N-libres transfinis
Posets série parallèles
Langage rationnel
Automate branchant
Logique monadique du second ordre