Étienne Grandjean
IdRefMots clés
FR |
EN
Complexité de calcul (informatique)
Automates cellulaires
Théorie des graphes
Hypergraphes
Théorie des modèles
Algorithmes
Bases de données relationnelles
Algorithmes parallèles
Systèmes dynamiques
Fonctions calculables -- Informatique
Théorie des modèles finis
Invariance
Logique du premier ordre
Informatique
Complexité arithmétique
Circuits arithmétiques
Tau-conjecture
Géométrie algébrique réelle
Contraintes (intelligence artificielle)
Galois, Correspondances de