Erich Grädel

Erich Grädel

Rheinisch Westfalische Technische Hochschule Aachen - Aachen / Germany
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 1762945
RWTH Aachen University
person_outline Erich Grädel's MOST POPULAR ARTICLES
1-) Automata, logics, and infinite games: a guide to current researchW ThomasSpringer Science & Business Media, 20021089*2002
2-) The classical decision problemE Börger, E Grädel, Y GurevichSpringer Science & Business Media, 200110722001
3-) Difference between endothelium-dependent relaxation in arterial and in venous coronary bypass graftsTF Lüscher, D Diederich, R Siebenmann, K Lehmann, P Stulz, ...New England Journal of Medicine 319 (8), 462-467, 19886851988
4-) Automatic structuresA Blumensath, E GradelProceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science …, 20004492000
5-) On the decision problem for two-variable first-order logicE Grädel, PG Kolaitis, MY VardiBulletin of symbolic logic 3 (1), 53-69, 19974471997