Bruno Courcelle
Mots clés
FR |
EN
Théorie des graphes
Logique monadique du second ordre
Algorithmes
Théorie des automates mathématiques
Grammaires de graphes
Intelligence artificielle
Réécriture, Systèmes de (informatique)
Langages algébriques
Prolog (langage de programmation)
Programmation logique
Parallélisme (informatique)
Graphe
Décomposition de graphe
Grammaire de graphe
Complexité paramétrée
Largeur de graphe
Partitionnement de graphes
Algorithmes distribués
Algorithmes parallèles
Modalité (logique)