Jan Obdržálek

1. Expanding the expressive power of Monadic Second-Order logic on restricted graph classes
   2013/06/24 by Robert Ganian, Jan Obdržálek, Ganian, Robert +1 · 1 citation
   Computer Science · #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.DS #cs.LO
2. FO Model Checking on Posets of Bounded Width
   2015/04/16 by Jakub Gajarský, Gajarský, Jakub, Petr Hliněný +12 · 1 citation
   Computer Science · #Advanced Graph Theory Research #Complexity and Algorithms in Graphs #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #cs.DM #cs.LO
3. Tree-depth and Vertex-minors
   2014/03/27 by Petr Hliněný, Hliněný, Petr, O-joung Kwon +5 · 1 citation
   Computer Science · Mathematics · #Combinatorics (math.CO) #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #FOS: Mathematics #cs.DM #math.CO