Tazari, Siamak
- Lower Bounds for the Complexity of Monadic Second-Order Logic
2010/01/27 by Stephan Kreutzer, Kreutzer, Stephan, Siamak Tazari +1 · 2 citations
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