Mathieu Hoyrup
Mots clés
FR |
EN
Complexité de calcul (informatique)
Calculabilité
Fonctions calculables
Topologie
Complexité descriptive
Espaces topologiques
Espaces métriques
Probabilités
Théorie ergodique
Information, Théorie de l'
Complexité
Analyse récursive
Ordre supérieur
Programmation récursive
Espace des groupes marqués
Théorème de plongement de Higman
Groupes de présentation finie
Théorie des groupes
Extensions HNN
Représentations de groupes