Topological Complexity of omega-Powers : Extended Abstract

Abstract : This is an extended abstract presenting new results on the topological complexity of omega-powers (which are included in a paper "Classical and effective descriptive complexities of omega-powers" available from http://fr.arxiv.org/abs/0708.4176) and reflecting also some open questions which were discussed during the Dagstuhl seminar on "Topological and Game-Theoretic Aspects of Infinite Computations" 29.06.08 - 04.07.08.
Type de document :
Communication dans un congrès
P. Hertling, V. Selivanov, W. Thomas, W. W. Wadge, K. Wagner. Dagstuhl Seminar on "Topological and Game-Theoretic Aspects of Infinite Computations" 29.06.08 - 04.07.08, Dagstuhl, Germany. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2008, Dagstuhl Seminar Proceedings
Liste complète des métadonnées

https://hal-ens-lyon.archives-ouvertes.fr/ensl-00319447
Contributeur : Olivier Finkel <>
Soumis le : mercredi 10 septembre 2008 - 17:02:59
Dernière modification le : mardi 24 avril 2018 - 13:52:27
Document(s) archivé(s) le : mardi 21 septembre 2010 - 17:45:10

Fichiers

omega-Powers-Dagstuhl-Proceedi...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : ensl-00319447, version 2
  • ARXIV : 0809.1812

Collections

Citation

Olivier Finkel, Dominique Lecomte. Topological Complexity of omega-Powers : Extended Abstract. P. Hertling, V. Selivanov, W. Thomas, W. W. Wadge, K. Wagner. Dagstuhl Seminar on "Topological and Game-Theoretic Aspects of Infinite Computations" 29.06.08 - 04.07.08, Dagstuhl, Germany. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2008, Dagstuhl Seminar Proceedings. 〈ensl-00319447v2〉

Partager

Métriques

Consultations de la notice

246

Téléchargements de fichiers

96