Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata
Details
Serval ID
serval:BIB_ECA934C48A84
Type
Inproceedings: an article in a conference proceedings.
Collection
Publications
Institution
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
Publisher
Springer
Publication state
Published
Issued date
2009
Peer-reviewed
Oui
Editor
Grädel Erich, Kahle Reinhard
Volume
5771
Pages
225-239
Language
english
Publisher's website
Create date
07/07/2021 11:10
Last modification date
08/07/2021 5:36