OtiumSessione
Sessione
Non abbiamo ancora una biografia di Erich Grädel.
Pubblicato in Inglese
Per saperne di più: Open Library (si apre in una nuova scheda)
Lectures in game theory for computer scientists
2011
Logic and automata
2008
Finite Model Theory and Its Applications
2014
Classical Decision Problem
2001
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
2007
Computer Science Logic
2009
Automata, Logics, and Infinite Games
2003