23 citations · 110 across the 25 of their papers we have counts for
1 paper · 2 filters
Stephan Kreutzer
One of Courcelle's celebrated results states that if C is a class of graphs of bounded tree-width, then model-checking for monadic second order logic (MSO_2) is fixed-parameter tra…