Regular tree languages, cardinality predicates, and addition-invariant FO.

Frederik Harwath, Nicole Schweikardt

Browse the full STACS paper archive.