Solving Infinite Games in the Baire Space

Brütsch, Benedikt (Corresponding author); Thomas, Wolfgang

Amsterdam [u.a.] : IOS Press (2022)
Buchbeitrag, Fachzeitschriftenartikel

In: Fundamenta informaticae
Band: 186
Heft: 1/4
Seite(n)/Artikel-Nr.: 63-88

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme) [122910]