61 citations · 78 across the 8 of their papers we have counts for
1 paper · 1 filter
Achim Blumensath, Felix Wolf
We consider bisimulation-invariant monadic second-order logic over various classes of finite transition systems. We present several combinatorial characterisations of when the expr…