Degrees of Lookahead in Context-free Infinite Games
Fridman, Wladimir; Löding, Christof; Zimmermann, Martin
Wadern : Schloss Dagstuhl-Leibniz-Zentrum für Informatik (2011)
Contribution to a book, Contribution to a conference proceedings
In: 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)/Article-Nr.: 264-276
Identifier
- URN: urn:nbn:de:0030-drops-27815
- DOI: 10.4230/LIPIcs.CSL.2011.264
- RWTH PUBLICATIONS: RWTH-CONV-202654