Concepedia

Erich Grädel

EG

27

Publications

1.6K

Citations

17

H-Index

1956

Active since

Affiliations

University of Basel(Current)

RWTH Aachen University

University Hospital of Basel

University of Michigan

Erich Grädel is an author at University of Basel specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsFormal VerificationComputational ComplexityVerificationCombinatorial OptimizationTheory Of ComputingMathematical Foundations

Publications per year

1956–2019

27

Publications

27

Difference between Endothelium-Dependent Relaxation in Arterial and in Venous Coronary Bypass Grafts

Thomas F. Lüscher, D. Diederich, R Siebenmann et al. · New England Journal of Medicine · 1988 · 539 citations

Two-variable logic with counting is decidable

Erich Grädel, Martin Otto, Eric Rosen · 2002 · 192 citations

Computational Logic, Engineering, Finite Model Property +12

Guarded fixed point logic

Erich Grädel, Igor Walukiewicz · 2003 · 128 citations

Computational Logic, Engineering, Automated Reasoning +15

Metafinite Model Theory

Erich Grädel, Yuri Gurevich · Information and Computation · 1998 · 103 citations

Metatheory, Metafinite Model Theory, Finite Model Theory +1

Capturing complexity classes by fragments of second-order logic

Erich Grädel · Theoretical Computer Science · 1992 · 100 citations

Computational Logic, Engineering, Complexity Classes +6

Rows per page

1–5 of 27