1 paper
Petr Kučera, Petr Martinek
Monadic second order logic (MSO2) plays an important role in parameterized complexity due to the Courcelle's theorem. This theorem states that the problem of checking if a given gr…