Didier Caucal
IdRefMots clés
FR |
EN
Langages formels
Automates
Algorithmes
Grammaires de graphes
Langages algébriques
Théorie des graphes
Automates à pile
Vérification de modèles (informatique)
Décidabilité (logique mathématique)
Théorie des automates mathématiques
Boole, Algèbre de
Vérification (épistémologie)
Réécriture, Systèmes de (informatique)
Arbres (théorie des graphes)
Graphes infini
Décidabilité
Ordre supérieur
Arbre de pile
Systèmes à compteurs
Langage de traces