Arnaud Durand
Mots clés
FR |
EN
Théorie des graphes
Complexité
Logique
Complexité algébrique
Hypergraphes
Analyse combinatoire énumérative
Complexité de calcul (informatique)
Complexité algorithmique
Modèle de Valiant
Machine BSS
Problèmes de satisfaction de contraintes
Arithmétique en virgule flottante
Logique mathématique
Hausdorff, Mesures de
Degrés Turing
Calculabilité
Récursivité
Sous-Récursion
Fonctions calculables
Récursivité, Théorie de la