Grädel, Erich, 1958-
Grädel, Erich
Erich Grädel Narozen 27.8.1958.Informatik.
VIAF ID: 115295085 (Personal)
Permalink: http://viaf.org/viaf/115295085
Preferred Forms
- 100 0 _ ‡a Erich Grädel ‡c Narozen 27.8.1958.Informatik.
-
- 200 _ | ‡a Grädel ‡b Erich ‡f 1958-....
- 100 1 _ ‡a Grädel, Erich ‡d 1958-
-
- 100 1 0 ‡a Grädel, Erich, ‡d 1958-
-
-
- 100 1 _ ‡a Grädel, Erich, ‡d 1958-....
-
-
-
- 100 1 _ ‡a Grädel, Erich
-
- 100 1 _ ‡a Grädel, Erich ‡d 1958-...
-
4xx's: Alternate Name Forms (6)
Works
Title | Sources |
---|---|
Advice automatic structures and uniformly automatic classes | |
Automata logics, and infinite games : a guide to current research | |
The classical decision problem, 1996: | |
The complexity of subclasses of logical theories | |
Computer science logic : 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings | |
CSL 2009 | |
Dependence and independence | |
Finite model theory and its applications | |
FoLLI publications on logic, language and information | |
Die künstliche Beatmung auf Intensivstationen | |
Lectures in game theory for computer scientists | |
Logic and automata : history and perspectives | |
Reasoning with separation logics : complexity, expressive power, proof systems | |
A study on the expressive power of some fragments of the modal µ-calculus | |
Über Spätfolgen bei konservativer Behandlung von stumpfen Nierenverletzungen |