Describing the Wadge Hierarchy for the Alternation Free Fragment of μ-Calculus (I)
Détails
ID Serval
serval:BIB_9C426E1C5CF7
Type
Actes de conférence (partie): contribution originale à la littérature scientifique, publiée à l'occasion de conférences scientifiques, dans un ouvrage de compte-rendu (proceedings), ou dans l'édition spéciale d'un journal reconnu (conference proceedings).
Collection
Publications
Institution
Titre
Describing the Wadge Hierarchy for the Alternation Free Fragment of μ-Calculus (I)
Titre de la conférence
Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings
Editeur
Springer
Statut éditorial
Publié
Date de publication
2008
Peer-reviewed
Oui
Editeur⸱rice scientifique
Beckmann Arnold, Dimitracopoulos Costas, Löwe Benedikt
Volume
5028
Pages
186-195
Langue
anglais
Site de l'éditeur
Création de la notice
07/07/2021 11:30
Dernière modification de la notice
08/07/2021 5:36
Données d'usage
