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
BookDOI
The classical decision problem
TL;DR: The Undecidable Standard Classes for Pure Predicate Logic, a Treatise on the Transformation of the Classical Decision Problem, and some Results and Open Problems are presented.
Book
Automata logics, and infinite games: a guide to current research
TL;DR: The 19 chapters presented in this multi-author monograph give a consolidated overview of the research results achieved in the theory of automata, logics, and infinite games during the past 10 years.
Journal ArticleDOI
Difference between endothelium-dependent relaxation in arterial and in venous coronary bypass grafts.
Lüscher Tf,D Diederich,Siebenmann R,Lehmann K,Peter Stulz,von Segesser L,Z. Yang,Marko Turina,Erich Grädel,Weber E +9 more
TL;DR: It is concluded that endothelium-dependent relaxation is greater in the mammary artery than in the saphenous vein, and the possibility that this contributes to the higher patency rate among arterial grafts than among venous grafts will require further study.
Journal ArticleDOI
On the Restraining Power of Guards
TL;DR: It is proved that the satisfiability problems for the guarded fragment and the loosely guarded fragment of first-order logic are complete for deterministic double exponential time, and a tree model property is established for both the guarded fragments and the closely guarded fragment.