The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs

Amsterdam [u.a.] / Elsevier (2014) [Journal Article]

Theoretical computer science
Band: 560
Ausgabe: 3
Seite(n): 235-250

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Canavoi, Felix
Grädel, Erich
Rabinovich, Roman

Identifikationsnummern