Christoph Dittmann
ORCIDPublication Activity (10 Years)
Years Active: 2012-2017
Publications (10 Years): 4
Publications (10 Years): 4
Technical University of Berlin, Germany (PHD)
Education History
Technical University of Berlin, Germany
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