Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata
| Data(s) |
2009
|
|---|---|
| Identificador |
http://serval.unil.ch/?id=serval:BIB_1B41D2F54A21 isbn:978-3-642-04026-9 http://www.springerlink.com/content/bw0p438216w74572/?p=d4f7f22dc5374cc2b6187e306313b9cb&pi=17 http://my.unil.ch/serval/document/BIB_1B41D2F54A21.pdf http://nbn-resolving.org/urn/resolver.pl?urn=urn:nbn:ch:serval-BIB_1B41D2F54A218 |
| Idioma(s) |
en |
| Publicador |
Springer |
| Direitos |
info:eu-repo/semantics/openAccess |
| Fonte |
Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings |
| Palavras-Chave | #Linear tree automata, Wadge Hierarchy, Index Problem, Borel Hierarchy |
| Tipo |
info:eu-repo/semantics/conferenceObject inproceedings |
