Elberfeld, Michael

1. Where First-Order and Monadic Second-Order Logic Coincide
   2012/04/27 by Elberfeld, Michael, Grohe, Martin, Tantau, Till · 1 citation
   #Computational Complexity (cs.CC) #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. Canonizing Graphs of Bounded Tree Width in Logspace
   2015/06/25 by Elberfeld, Michael, Schweitzer, Pascal · 1 citation
   #05C60 #05C85 #68R10 #Combinatorics (math.CO) #Computational Complexity (cs.CC) #Data Structures and Algorithms (cs.DS) #Discrete Mathematics (cs.DM) #F.2.2 #FOS: Computer and information sciences #FOS: Mathematics #G.2.2
3. Order Invariance on Decomposable Structures
   2016/06/21 by Michael Elberfeld, Elberfeld, Michael, Marlin Frickenschmidt +3 · 1 citation
   Computer Science · #Advanced Graph Theory Research #Complexity and Algorithms in Graphs #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #semigroups and automata theory