Le moteur de recherche
des thèses françaises
Géraud Senizergues
IdRefMots clés
FR |
EN
Langages formels
Réécriture, Systèmes de (informatique)
Décidabilité (logique mathématique)
Lambda-calcul
Décidabilité
Arbres (théorie des graphes) -- Informatique
Linguistique formelle
Analyse et génération de langage
Datalog
Sémantique des jeux
Sémantique selon la théorie des jeux
Ontologies (informatique)
Informatique theorique
Theorie langage
Reecriture
Grammaire par attribut
Arbre graphe
Grammaires de graphes
Langages algébriques
Théorie des graphes