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