Higher computability and Randomness

Résumé : Cette thèse est une contribution à trois domaines présentant de nombreuses connexions entre eux : la théorie effective de l’aléatoire, la calculabilité d’ordre supérieur et la théorie effective descriptive des ensembles.
Type de document :
Thèse
Computer Science [cs]. Paris Diderot, 2014. English
Liste complète des métadonnées

Littérature citée [99 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/tel-01397190
Contributeur : Benoit Monin <>
Soumis le : mardi 15 novembre 2016 - 15:30:08
Dernière modification le : vendredi 18 novembre 2016 - 01:10:41
Document(s) archivé(s) le : jeudi 16 mars 2017 - 13:28:56

Identifiants

  • HAL Id : tel-01397190, version 1

Collections

Citation

Benoit Monin. Higher computability and Randomness. Computer Science [cs]. Paris Diderot, 2014. English. 〈tel-01397190〉

Partager

Métriques

Consultations de la notice

134

Téléchargements de fichiers

86