Back and Forth Between Logics and Games
Grädel, Erich (Author)
Cambridge [u.a.] / Univ. Press (2011) [Buchbeitrag]
Lectures in game theory for computer scientists / ed. by Krzysztof R. Apt and Erich Grädel
Seite(n): 99-145
Identifikationsnummern
- REPORT NUMBER: RWTH-CONV-102286