Erich Grädel profile picture

Erich Grädel

Is this your author profile? Create an account to customize it!

Stand Alone

Finite Model Theory and Its Applications
Automata, logics, and infinite games
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
Lectures in Game Theory for Computer Scientists
Lectures in Game Theory for Computer Scientists
Finite Model Theory and Its Applications
Computer Science Logic