Géraud Senizergues
Mots clés
FR |
EN
Langages formels
Décidabilité (logique mathématique)
Lambda-calcul
Décidabilité
Arbres (théorie des graphes) -- Informatique
Réécriture, Systèmes de (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)
Théorie des graphes
Variétés (mathématiques)
Algorithmes
Graphes, Théorie des
Groupes d'automorphismes
Surfaces (mathématiques)
Graphes infini
Ordre supérieur