- Parameterizing the quantification of CMSO: model checking on minor-closed graph classes
2024/06/26 by Sau, Ignasi, Stamoulis, Giannos, Thilikos, Dimitrios M. · 2 citations
#05C69 #05C75 #05C83 #5C85 #68R10 #Data Structures and Algorithms (cs.DS) #F.2.2 #FOS: Computer and information sciences #G.2.2 #Logic in Computer Science (cs.LO)