Author

Erich Grädel

5 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

5 books
Automata, Logics, and Infinite Games

Automata, Logics, and Infinite Games

Year unknown Erich Grädel, Wolfgang Thomas, and Thomas Wilke
Classical Decision Problem

Classical Decision Problem

Year unknown Egon Börger, Erich Grädel, and Yuri Gurevich
Finite Model Theory and Its Applications

Finite Model Theory and Its Applications

Year unknown Yde Venema, Scott Weinstein, Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel H. Spencer, and Moshe Y. Vardi
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)

Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)

Year unknown Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel H. Spencer, Moshe Y. Vardi, Yde Venema, and Scott Weinstein
Lectures in Game Theory for Compu...

Lectures in Game Theory for Computer Scientists

Year unknown Krzysztof R. Apt and Erich Grädel

Fetched from OpenLibrary. Some translations may appear as separate works.