Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata

Details

Request a copyRequest a copy
Serval ID
serval:BIB_ECA934C48A84
Type
Inproceedings: an article in a conference proceedings.
Collection
Publications
Institution
UNIL/CHUV
Title
Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata
Title of the conference
Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
Author(s)
Duparc Jacques, Facchini Alessandro
Publisher
Springer
Publication state
Published
Issued date
2009
Peer-reviewed
Oui
Editor
Grädel Erich, Kahle Reinhard
Volume
5771
Pages
225-239
Language
english
OAI-PMH
oai:serval.unil.ch:BIB_ECA934C48A84
DOI
10.1007/978-3-642-04027-6_18
Publisher's website
https://doi.org/10.1007/978-3-642-04027-6_18
Create date
07/07/2021 12:10
Last modification date
08/07/2021 6:36
Usage data