Titre
Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata
Type
article de conférence/colloque
Institution
UNIL/CHUV/Unisanté + institutions partenaires
Auteur(s)
Duparc, Jacques
Auteure/Auteur
Facchini, Alessandro
Auteure/Auteur
Éditeur(s)
Grädel, Erich
Kahle, Reinhard
Liens vers les personnes
Liens vers les unités
Maison d’édition
Springer
Titre du livre ou conférence/colloque
Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
Statut éditorial
Publié
Date de publication
2009
Volume
5771
Première page
225
Dernière page/numéro d’article
239
Peer-reviewed
Oui
Langue
anglais
PID Serval
serval:BIB_ECA934C48A84
URL éditeur
Date de création
2021-07-07T10:10:33.141Z
Date de création dans IRIS
2025-05-21T05:26:54Z