Expressing cardinality quantifiers in monadic second-order logic over chains

Vince Bárány*, Lukasz Kaiser, Alexander Rabinovich

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

4 Scopus citations

Fingerprint

Dive into the research topics of 'Expressing cardinality quantifiers in monadic second-order logic over chains'. Together they form a unique fingerprint.

Keyphrases

Mathematics