Le moteur de recherche
des thèses françaises
Géraud Senizergues
IdRefMots clés
FR |
EN
Langages formels
Décidabilité (logique mathématique)
Lambda-calcul
Théorie des graphes
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)
Variétés (mathématiques)
Algorithmes
Groupes d'automorphismes
Surfaces (mathématiques)
Graphes infini
Ordre supérieur
Arbre de pile