• Projects
  • General Overview Projects
  • Arithmetic and Boolean Complexity
  • Nonclassical Logics: Parameterised Complexity and Enumeration
  • Parameterised Complexity of Nonclassical Logics
  • Descriptive Complexity of Parameterised Counting Problems