• Projekte
  • Allgemeine Übersicht Projekte
  • Arithmetische und Boole'sche Komplexität
  • Nichtklassische Logiken: Parametrisierte Komplexität und Enumeration
  • Parametrisierte Komplexität nichtklassischer Logiken
  • Deskriptive Komplexität von parametrisierten Zählproblemen