Publications

2016
Christoph Dittmann, Stephan Kreutzer, Alexandru I. Tomescu
Theoretical Computer Science, Volume 614, 8 February 2016, Pages 97–108
2015
Christoph Dittmann
Archive of Formal Proofs, 11/2015
2014
Mikołaj Bojańczyk, Christoph Dittmann, Stephan Kreutzer
ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014
2013
Christoph Dittmann, Stephan Kreutzer, Alexandru I. Tomescu
Short Presentation at ACM/IEEE Symp. on Logic in Computer Science (LICS), 2013