Solving Infinite Games in the Baire Space

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

Amsterdam [u.a.] : IOS Press (2022)
Contribution to a book, Journal Article

In: Fundamenta informaticae
Volume: 186
Issue: 1/4
Page(s)/Article-Nr.: 63-88

Institutions

• Department of Computer Science [120000]
• Chair of Computer Science 7 (Logic and Theory of Discrete Systems) [122910]