Describing the Wadge Hierarchy for the Alternation Free Fragment of μ-Calculus (I)

Details

Request a copyRequest a copy
Serval ID
serval:BIB_9C426E1C5CF7
Type
Inproceedings: an article in a conference proceedings.
Collection
Publications
Institution
UNIL/CHUV
Title
Describing the Wadge Hierarchy for the Alternation Free Fragment of μ-Calculus (I)
Title of the conference
Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings
Author(s)
Duparc Jacques, Facchini Alessandro
Publisher
Springer
Publication state
Published
Issued date
2008
Peer-reviewed
Oui
Editor
Beckmann Arnold, Dimitracopoulos Costas, Löwe Benedikt
Volume
5028
Pages
186-195
Language
english
OAI-PMH
oai:serval.unil.ch:BIB_9C426E1C5CF7
DOI
10.1007/978-3-540-69407-6_22
Publisher's website
https://doi.org/10.1007/978-3-540-69407-6_22
Create date
07/07/2021 12:30
Last modification date
08/07/2021 6:36
Usage data