Erich Grädel
Author
Alternate names E. Grädel, Erich Gradel, E. Gradel, Erich Grädel, E. Grádel
Institution RWTH Aachen University
Past institutions RWTH Aachen University, University of Pisa, Cornell University, National University of Singapore, McMaster University +5 more
ORCID: Yes
H-index: 32
I10-index: 63
Works count: 218
Citations count: 4,526
On the Restraining Power of Guards
1999 · Erich Grädel · Journal of Symbolic Logic
Automata logics, and infinite games: a guide to current research
2002 · Erich Grädel, Wolfgang Thomas, et al. · Springer eBooks
On the Decision Problem for Two-Variable First-Order Logic
1997 · Erich Grädel, Phokion G. Kolaitis, et al. · Bulletin of Symbolic Logic