Topological Complexity of omega-Powers : Extended Abstract

dc.creatorFinkel, Olivier
dc.creatorLecomte, Dominique
dc.date2008-09-10
dc.date.accessioned2026-07-07T10:02:03Z
dc.date.available2026-07-07T10:02:03Z
dc.descriptionThis 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 arXiv: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.
dc.identifierhttps://arxiv.org/abs/0809.1812
dc.identifierhttp://arxiv.org/abs/0809.1812
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/168838
dc.subjectLogic in Computer Science
dc.subjectComputational Complexity
dc.subjectLogic
dc.titleTopological Complexity of omega-Powers : Extended Abstract
dc.typetext

Files

Collections