Cardinality and counting quantifiers on omega-automatic structures.

Lukasz Kaiser, Sasha Rubin, Vince Brny

Browse the full STACS paper archive.