Backtracking Games and Inflationary Fixed Points

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

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

Theoretical computer science
Band: 350
Ausgabe: 2/3
Seite(n): 174-187

Identifikationsnummern