16 citations · 39 across the 13 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…