Backtracking Games and Inflationary Fixed Points

Dawar, Anuj; Grädel, Erich; Kreutzer, Stephan

Amsterdam [u.a.] : Elsevier (2006)
Beitrag zu einem Tagungsband, Fachzeitschriftenartikel

In: Theoretical computer science
Band: 350
Heft: 2/3
Seite(n)/Artikel-Nr.: 174-187