Person

Dr. phil., Universitätsprofessor

Erich Grädel

Betreuer

Erich Grädel
Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität)

Adresse

Gebäude: E1, 1. Etage

Raum: 4120

Ahornstraße 55

52074 Aachen

Kontakt

WorkPhone
Telefon: +49 241 80 21730
Fax Fax: +49 241 80 22215

Sprechstunde

nach Vereinbarung
 

Publikationen im Rahmen von UnRAVeL

Quelle Autor(en)
[Preprint]
Limitations of the Invertible-Map Equivalences, 2021
Dawar, Anuj (Corresponding author)
Grädel, Erich (Corresponding author)
Lichter, Moritz (Corresponding author)
[Buchbeitrag, Beitrag zu einem Tagungsband]
Semiring Provenance for Fixed-Point Logic
In: 29th EACSL Annual Conference on Computer Science Logic : CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (virtual conference) / edited by Christel Baier, Jean Goubault-Larrecq, 2021
[DOI: 10.4230/LIPICS.CSL.2021.17]
Dannert, Katrin M. (Corresponding author)
Grädel, Erich (Corresponding author)
Naaf, Matthias Ferdinand (Corresponding author)
Tannen, Val (Corresponding author)
[Beitrag zu einem Tagungsband]
Separation Logic and Logics with Team Semantics
In: Proceedings of Workshop on Logics of Dependence and Independence (LoDE 2020V), Jouko Väänänen and Fan Yang (eds.), 9-15, 2020
Grädel, Erich (Corresponding author)
Wilke, Richard (Corresponding author)
Haase, Darion (Corresponding author)
[Preprint]
Logics with Multiteam Semantics, 2020
[DOI: 10.18154/RWTH-2020-12350]
Grädel, Erich (Corresponding author)
Wilke, Richard (Corresponding author)
[Preprint]
Semiring Provenance for Guarded Logics, 2019
Grädel, Erich (Corresponding author)
Dannert, Katrin M.
[Preprint]
Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic, 2019
[DOI: 10.18154/RWTH-2019-09537]
Dannert, Katrin M.
Grädel, Erich (Corresponding author)
Naaf, Matthias Ferdinand
Tannen, Val
[Buchbeitrag]
Provenance Analysis : A Perspective for Description Logics?
In: Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday / Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter (eds.), 266-285, 2019
[DOI: 10.1007/978-3-030-22102-7_12]
Dannert, Katrin M.
Grädel, Erich (Corresponding author)