Christoph Dittmann
Publication Activity (10 Years)
Years Active: 2012-2017
Publications (10 Years): 3
Publications (10 Years): 3
Technical University of Berlin, Germany (PHD)
Education History
Technical University of Berlin, Germany
PHD
Publications
- Christoph DittmannMenger's Theorem. Arch. Formal Proofs 2017 (2017)
- Christoph Dittmann, Stephan Kreutzer, Alexandru I. Tomescu
- Christoph DittmannTree Decomposition. Arch. Formal Proofs 2016 (2016)
- Christoph Dittmann
- Mikolaj Bojanczyk, Christoph Dittmann, Stephan Kreutzer
- Mikolaj Bojanczyk, Christoph Dittmann, Stephan Kreutzer
- Christoph Dittmann, Stephan Kreutzer, Alexandru I. Tomescu