Degrees of Lookahead in Context-free Infinite Games
Wadern / Schloss Dagstuhl-Leibniz-Zentrum für Informatik (2011) [Contribution to a conference proceedings]
Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL / EACSL (European Association for Computer Science Logic). Hrsg.: Marc Bezem
Page(s): 264-276
Authors
Authors
Fridman, Wladimir
Löding, Christof
Zimmermann, Martin
Identifier
- URN: urn:nbn:de:0030-drops-27815
- DOI: 10.4230/LIPIcs.CSL.2011.264
- REPORT NUMBER: RWTH-CONV-202654