Till Tantau
- Where First-Order and Monadic Second-Order Logic Coincide
2012/04/27 by Michael Elberfeld, Elberfeld, Michael, Martin Grohe +3 · 1 citation
Computer Science · #Computational Complexity (cs.CC) #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.CC #cs.LO
- Fast Parallel Fixed-Parameter Algorithms via Color Coding
2015/09/23 by Max Bannach, Bannach, Max, Christoph Stockhusen +3 · 1 citation
Computer Science · #Advanced Graph Theory Research #Complexity and Algorithms in Graphs #Computational Complexity (cs.CC) #Data Structures and Algorithms (cs.DS) #F.1.3 #FOS: Computer and information sciences #Interconnection Networks and Systems #cs.CC #cs.DS
- Logspace Versions of the Theorems of Bodlaender and Courcelle
2010/10/01 by Michael Elberfeld, Andreas Jakoby, Till Tantau · 1 citation
Computer Science · #Advanced Graph Theory Research
- Graph Drawing in TikZ
2013/01/01 by Till Tantau · 1 citation
Computer Science · Mathematics · #Teaching and Learning Programming #Graph Theory and Algorithms #Computational Geometry and Mesh Generation #Computer science #Graph #Graph drawing #Combinatorics #Mathematics #Theoretical computer science