Expressing cardinality quantifiers in monadic second-order logic over chains

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

Research output: Contribution to journalArticlepeer-review

Fingerprint

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

Mathematics

Arts & Humanities