Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
The Classical Decision Problem
- Egon Börger, E. Grädel, Y. Gurevich
- Mathematics, Computer Science
- Perspectives in Mathematical Logic
- 15 January 1997
1. Introduction: The Classical Decision Problem.- 1.1 The Original Problem.- 1.2 The Transformation of the Classical Decision Problem.- 1.3 What Is and What Isn't in this Book.- I. Undecidable… Expand
On The Restraining Power of Guards
- E. Grädel
- Mathematics, Computer Science
- J. Symb. Log.
- 1 December 1999
TLDR
Automatic structures
- Achim Blumensath, E. Grädel
- Computer Science
- Proceedings Fifteenth Annual IEEE Symposium on…
- 26 June 2000
TLDR
On the decision problem for two-variable first-order logic
- E. Grädel, P. Kolaitis, Moshe Y. Vardi
- Mathematics, Computer Science
- Bull. Symb. Log.
- 1 March 1997
TLDR
Automata logics, and infinite games: a guide to current research
A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm and practical. Such a scientific… Expand
- 549
- 25
Dependence and Independence
- E. Grädel, J. Väänänen
- Mathematics, Computer Science
- Stud Logica
- 27 August 2012
TLDR
Guarded fixed point logic
- E. Grädel, I. Walukiewicz
- Computer Science
- Proceedings. 14th Symposium on Logic in Computer…
- 2 July 1999
TLDR
Finite Model Theory and Its Applications
- E. Grädel, P. Kolaitis, +5 authors S. Weinstein
- Mathematics, Computer Science
- Texts in Theoretical Computer Science. An EATCS…
- 24 April 2007
TLDR
Finite Presentations of Infinite Structures:
Automata and Interpretations
- Achim Blumensath, E. Grädel
- Mathematics, Computer Science
- Theory of Computing Systems
- 13 September 2004
TLDR