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