Stephan Kreutzer
- Deciding first-order properties of nowhere dense graphs
2013/11/15 by Martin Grohe, Stephan Kreutzer, Grohe, Martin +3 · 5 citations
Computer Science · Mathematics · #Advanced Graph Theory Research #Combinatorics (math.CO) #Complexity and Algorithms in Graphs #FOS: Computer and information sciences #FOS: Mathematics #Limits and Structures in Graph Theory #Logic in Computer Science (cs.LO)
- Lower Bounds for the Complexity of Monadic Second-Order Logic
2010/01/27 by Stephan Kreutzer, Siamak Tazari, Kreutzer, Stephan +1 · 1 citation
Computer Science · #Advanced Graph Theory Research #Computational Complexity (cs.CC) #Data Structures and Algorithms (cs.DS) #Discrete Mathematics (cs.DM) #F.2.2 #F.4.1 #FOS: Computer and information sciences #Formal Methods in Verification #G.2.2 #Logic in Computer Science (cs.LO) #semigroups and automata theory
- Cycles of Well-Linked Sets I: an Elementary Bound for Directed Cycle Packing
2024/04/30 by Meike Hatzel, Hatzel, Meike, Stephan Kreutzer +5 · 1 citation
Computer Science · #05C20 #05C83 #68R10 #Combinatorics (math.CO) #Computability, Logic, AI Algorithms #Discrete Mathematics (cs.DM) #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #FOS: Mathematics