7 citations · 7 across the 1 of their papers we have counts for
2 papers
cs.LO2008
Cardinality and counting quantifiers on omega-automatic structures
Lukasz Kaiser, Sasha Rubin, Vince Bárány
We investigate structures that can be represented by omega-automata, so called omega-automatic structures, and prove that relations defined over such structures in first-order logi…
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…