Erich Grädel

No bio available. Add one in Open Library.

Books by Erich Grädel (50 max)

+ shelf+ list

Lectures in Game Theory for Computer Scientists

2011

Krzysztof R. Apt, Erich Grädel

+ shelf+ list

The Classical Decision Problem

1997

Egon Börger, Erich Grädel, Yuri Gurevich

+ shelf+ list

Über Spätfolgen bei konservativer Behandlung von stumpfen Nierenverletzungen

1956

Erich Grädel

+ shelf+ list

Automata, Logics, and Infinite Games A Guide to Current Research

2003

Erich Grädel, Wolfgang Thomas, Thomas Wilke

+ shelf+ list

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

2007

Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel H. Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein

+ shelf+ list

Computer Science Logic 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings

2009

Erich Grädel, Reinhard Kahle

+ shelf+ list

Finite Model Theory and Its Applications

2014

Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel H. Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein