Erich Grädel

On the Restraining Power of Guards

Erich Grädel · Journal of Symbolic Logic · 1999 · 359 citations

Engineering, Information Security, Law +18

On the Decision Problem for Two-Variable First-Order Logic

Erich Grädel, Phokion G. Kolaitis, Moshe Y. Vardi · Bulletin of Symbolic Logic · 1997 · 323 citations

Decision Procedure, Fuzzy Logic, Engineering +15

Automatic structures

Achim Blumensath, Erich Grädel · 2002 · 289 citations

Engineering, Automated Reasoning, Formal Methods +10

Exercise capacity as a predictor of postoperative complications in lung resection candidates.

Chris T. Bolliger, Peter J. Jordan, M. Solèr et al. · American Journal of Respiratory and Critical Care Medicine · 1995 · 249 citations

Physical Activity, Interventional Pulmonology, Pulmonary Care +25

Dependence and Independence

Erich Grädel, Jouko Väänánen · Studia Logica · 2013 · 221 citations

Economics, Coexistence, Path Dependence +3