Degrees of lookahead in regular infinite games
Holtmann, Michael; Kaiser, Lukasz; Thomas, Wolfgang
Braunschweig : Department of Theoretical Computer Science, Technical University of Braunschweig (2012)
Fachzeitschriftenartikel
In: Logical methods in computer science : LMCS
Band: 8
Heft: 3
Seite(n)/Artikel-Nr.: 24
Identifikationsnummern
- DOI: 10.2168/LMCS-8(3:24)2012
- DOI: 10.18154/RWTH-CONV-075919
- RWTH PUBLICATIONS: RWTH-CONV-075919