フォロー
Erich Grädel
タイトル
引用先
引用先
Automata, logics, and infinite games: a guide to current research
E Grädel, W Thomas, T Wilke
Springer, 2003
1286*2003
The classical decision problem
E Börger, E Grädel, Y Gurevich
Springer Science & Business Media, 2001
11212001
Difference between endothelium-dependent relaxation in arterial and in venous coronary bypass grafts
TF Lüscher, D Diederich, R Siebenmann, K Lehmann, P Stulz, ...
New England Journal of Medicine 319 (8), 462-467, 1988
6931988
Automatic structures
A Blumensath, E Gradel
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science …, 2000
4332000
On the restraining power of guards
E Grädel
The Journal of Symbolic Logic 64 (4), 1719-1742, 1999
4301999
On the decision problem for two-variable first-order logic
E Grädel, PG Kolaitis, MY Vardi
Bulletin of symbolic logic 3 (1), 53-69, 1997
4211997
Automata, logics, and infinite games, volume 2500 of LNCS
E Grädel, W Thomas, T Wilke
Springer, 2002
419*2002
Exercise capacity as a predictor of postoperative complications in lung resection candidates.
CT Bolliger, P Jordan, M Solèr, P Stulz, E Grädel, K Skarvan, S Elsasser, ...
American journal of respiratory and critical care medicine 151 (5), 1472-1480, 1995
3331995
Finite Model Theory and its applications
E Grädel, PG Kolaitis, L Libkin, M Marx, J Spencer, MY Vardi, Y Venema, ...
Springer, 2007
2982007
Two-variable logic with counting is decidable
E Gradel, M Otto, E Rosen
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science …, 1997
2471997
Guarded fixed point logic
E Gradel, I Walukiewicz
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999
2261999
Dependence and independence
E Grädel, J Väänänen
Studia Logica 101 (2), 399-410, 2013
2032013
On logics with two variables
E Grädel, M Otto
Theoretical computer science 224 (1-2), 73-113, 1999
1891999
Metafinite model theory
E Graedel, Y Gurevich
Information and computation 140 (1), 26-81, 1998
1731998
Metafinite model theory
E Graedel, Y Gurevich
Information and computation 140 (1), 26-81, 1998
1731998
Finite presentations of infinite structures: Automata and interpretations
A Blumensath, E Grädel
Theory of Computing Systems 37 (6), 641-674, 2004
1642004
Automata, logics, and infinite Games. LNCS, vol. 2500
E Grädel, W Thomas, T Wilke
Springer, Heidelberg, 2002
1632002
Decision making in the surgical treatment of massive pulmonary embolism.
P Stulz, R Schläpfer, R Feer, J Habicht, E Grädel
shock 19 (15), 79, 1994
1591994
Lectures in game theory for computer scientists
KR Apt, E Grädel
Cambridge University Press, 2011
1542011
Capturing complexity classes by fragments of second-order logic
E Grädel
Theoretical Computer Science 101 (1), 35-57, 1992
1521992
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20