Christoph Dittmann
Identifiers
- name variant Christoph Dittmann 0.60 · backfill
Papers (2)
- Decomposition Theorems and Model-Checking for the Modal $\mu$-Calculus math.LO · 2014 · author #2
- Graph Operations on Parity Games and Polynomial-Time Algorithms cs.GT · 2012 · author #1
Mentions
Frequent Coauthors
- Stephan Kreutzer 2 shared papers
- Alexandru I. Tomescu 1 shared papers
- Mikolaj Bojanczyk 1 shared papers