Scoped MSO, Register Automata, and Expressions: Equivalence over Data Words.

Radoslaw Pirkowski

Browse the full ICALP paper archive.