most citedOrder-Invariant MSO is Stronger than Counting MSO in the Finite

7 citations · 7 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2007★ 7 cited

Order-Invariant MSO is Stronger than Counting MSO in the Finite

Tobias Ganzow, Sasha Rubin

We compare the expressiveness of two extensions of monadic second-order logic (MSO) over the class of finite structures. The first, counting monadic second-order logic (CMSO), exte…