Le moteur de recherche
des thèses françaises
Bruno Courcelle
IdRefMots clés
FR |
EN
Théorie des graphes
Algorithmes
Intelligence artificielle
Prolog (langage de programmation)
Grammaires de graphes
Systèmes de réécriture (informatique)
Programmation logique
Logique monadique du second ordre
Langages algébriques
Langages de programmation
Parallélisme (informatique)
Théorie des automates mathématiques
Décidabilité (logique mathématique)
Théorèmes -- Démonstration automatique
Scheme (langage de programmation)
Conception orientée objets (informatique)
Sciences appliquées
Informatique, automatique théorique, systèmes
Thèse
Informatique théorique