10 citations · 12 across the 6 of their papers we have counts for
1 paper · 1 filter
Stephan Kreutzer, Siamak Tazari
Courcelle's famous theorem from 1990 states that any property of graphs definable in monadic second-order logic (MSO) can be decided in linear time on any class of graphs of bounde…