Algorithmic Complexity of Well-Quasi-Orders

Type de document :
HDR
Logic in Computer Science [cs.LO]. École normale supérieure Paris-Saclay, 2017
Liste complète des métadonnées

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

https://tel.archives-ouvertes.fr/tel-01663266
Contributeur : Sylvain Schmitz <>
Soumis le : mercredi 13 décembre 2017 - 19:33:38
Dernière modification le : jeudi 11 janvier 2018 - 06:20:14

Fichier

hdr.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : tel-01663266, version 1

Citation

Sylvain Schmitz. Algorithmic Complexity of Well-Quasi-Orders. Logic in Computer Science [cs.LO]. École normale supérieure Paris-Saclay, 2017. 〈tel-01663266〉

Partager

Métriques

Consultations de la notice

180

Téléchargements de fichiers

109