E
Erich Grädel
Researcher at RWTH Aachen University
Publications - 182
Citations - 8191
Erich Grädel is an academic researcher from RWTH Aachen University. The author has contributed to research in topics: Decidability & Descriptive complexity theory. The author has an hindex of 40, co-authored 179 publications receiving 7816 citations. Previous affiliations of Erich Grädel include University of Pisa & University of Basel.
Papers
More filters
Journal ArticleDOI
Dominoes and the complexity of subclasses of logical theories
TL;DR: It is shown that problems in complexity classes NTIME(T(n)) are reducible to domino problems where the space to be tiled is a square of size T(n) and the class of ∃∗-formulas in Presburger arithmetic has exponential complexity.
Abstract state machines: verification problems and complexity
Marc Spielmann,Erich Grädel +1 more
TL;DR: State Machines: Verification Problems and Complexity states machine-based verification problems and complexity problems are studied.
Journal ArticleDOI
Fixed-Point Logics and Solitaire Games
Dietmar Berwanger,Erich Grädel +1 more
TL;DR: Solitaire-LFP, a fragment of least fixed-point logic, whose evaluation games are nested soltaire games, is studied, which means that on each strongly connected component of the game, only one player can make nontrivial moves.
Book ChapterDOI
The Descriptive Complexity of Parity Games
Anuj Dawar,Erich Grädel +1 more
TL;DR: This work investigates the case of an unbounded number of priorities, both for finite game graphs and for arbitrary ones, where winning regions are definable in guarded second-order logic but not in least-fixed point logic.