On the Topological Complexity of Infinitary Rational Relations

Simple item page
dc.creatorFinkel, Olivier
dc.date2008-03-12
dc.date.accessioned2026-07-07T12:17:36Z
dc.date.available2026-07-07T12:17:36Z
dc.descriptionWe prove in this paper that there exists some infinitary rational relations which are analytic but non Borel sets, giving an answer to a question of Simonnet [Automates et Théorie Descriptive, Ph. D. Thesis, Université Paris 7, March 1992].
dc.identifierhttps://arxiv.org/abs/0803.1841
dc.identifierhttp://arxiv.org/abs/0803.1841
dc.identifierRAIRO-Theoretical Informatics and Applications 37 (2) (2003) 105-113
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/212131
dc.subjectLogic in Computer Science
dc.subjectComputational Complexity
dc.subjectLogic
dc.titleOn the Topological Complexity of Infinitary Rational Relations
dc.typetext

Files

Collections

arXiv