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
Costotomy and "hand inside": a useful adjunct to video-assisted thoracic surgery or just a silly idea?
TL;DR: The first experiences with an access in video-assisted thoracoscopic surgery (VATS) which to the best of the knowledge has not yet been reported are reported.
Book ChapterDOI
Approximable Minimization Problems and Optimal Solutions on Random Inputs
Erich Grädel,Anders Malmström +1 more
TL;DR: This paper develops a probabilistic approach due to Behrendt, Compton and Gradel showing that expected optimal solutions for any problem in the class Max ⌆1 grows essentially like a polynomial, and shows that there is a similar result for MinF+ II1, a syntactic class of minimization problems which provides a logical criterion for approximability.
Proceedings Article
Tailoring Recursing for Complexity
Erich Grädel,Yuri Gurevich +1 more
TL;DR: A functional analogue of first-order logic is presented and a new functional characterization of polynomial time is given and it is presented that a function that computes a (local) function in each ordered structure of a specified vocabulary is computed.
BookDOI
Computer Science Logic
Erich Grädel,Reinhard Kahle +1 more
TL;DR: Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems and Cardinality Quantifiers in MLO over Trees are discussed.