Defining Winning Strategies in Fixed-Point Logic
Piscataway, NJ / IEEE (2015) [Contribution to a book, Contribution to a conference proceedings]
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015) : Kyoto, Japan, 6 - 10 July 2015
Page(s): 366-377
Authors
Authors
Canavoi, Felix
Grädel, Erich
Leßenich, Simon Robert
Pakusa, Wied
Identifier
- DOI: 10.1109/LICS.2015.42
- REPORT NUMBER: RWTH-CONV-210851