Erich Grädel
Erich Grädel
4 books in the database
Books
Finite Model Theory and Its ApplicationsErich Grädel
Finite Model Theory and Its Applications
Erich Grädel · 2014
Computer Science LogicErich Grädel
Computer Science Logic
Erich Grädel · 2009
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)Erich Grädel
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
Erich Grädel · 2007
Automata, Logics, and Infinite GamesErich Grädel
Automata, Logics, and Infinite Games
Erich Grädel · 2003
Co-authored books and collections
Books that list Erich Grädel among their authors but not as the lead author: co-written works, collections and compilations.
