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