Prof. Dr. Erich Grädel

Adresse

Forschung

• Algorithmic Model Theory
• Logic and Game Theory
• Logic and Algorithms
• Fixed-Point Logics
• Logics for Dependence and Independence

Tätigkeiten

• Mitherausgeber des Journals Logical Methods in Computer Science (seit 2004)
• Herausgeber des Journals Mathematical Logic Quarterly (seit 2012)
• Mitglied des Editorial Board des Journal of Logic and Computation (Corner Editor für Logic and Games, seit 2007).
• Herausgeber des Journal of Symbolic Logic (2008 - 2013)
• Chair des europäischen GAMES-Netzwerks (2002 – 2013)
• Autor und Herausgeber von fünf Büchern

Aktuelle Publikationen

Alle Publikationen

Ausgewählte Vorträge

• Is Polyonomial Time Choiceless
  
• Dependence and Independence in Logic.
  Tutorial at Logic Colloquium 2015.
• Finite presentations of infinite structures: automata and interpretations.
  
• Decidable fragments of first-order and fixed-point logic.
  
• Banach-Mazur Games on Graphs