Definability in Games
Grädel, Erich
Berlin [u.a.] : Springer (2010)
Contribution to a book, Contribution to a conference proceedings
In: Computer science logic : 24th international workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 ; proceedings / Anuj Dawar; Helmut Veith [eds.)
Page(s)/Article-Nr.: 19-21
Identifier
- DOI: 10.1007/978-3-642-15205-4_2
- RWTH PUBLICATIONS: RWTH-CONV-197442