Christoph Dittmann

Identifiers

• name variant Christoph Dittmann 0.60 · backfill

Papers (2)

1. Decomposition Theorems and Model-Checking for the Modal $\mu$-Calculus math.LO · 2014 · author #2
2. Graph Operations on Parity Games and Polynomial-Time Algorithms cs.GT · 2012 · author #1

Mentions

• 1405.2234 #2 · backfill · confidence 0.70 Christoph Dittmann
• 1208.1640 #1 · backfill · confidence 0.70 Christoph Dittmann

Frequent Coauthors

• Stephan Kreutzer 2 shared papers
• Alexandru I. Tomescu 1 shared papers
• Mikolaj Bojanczyk 1 shared papers