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 |
![]() |