Mathieu Hoyrup
IdRefMots clés
FR |
EN
Calculabilité
Topologie
Complexité de calcul (informatique)
Fonctions calculables
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