TY  - RPRT
TI  - Scoped MSO, Register Automata, and Expressions: Equivalence over Data Words
AU  - Radosław Piórkowski
PY  - 2026
UR  - https://arxiv.org/abs/2602.13120
ID  - 2602.13120
ER  -