TY  - RPRT
TI  - Monadic Second-Order Logic of Permutations
AU  - Vít Jelínek
AU  - Michal Opler
PY  - 2025
UR  - https://arxiv.org/abs/2511.02386
ID  - 2511.02386
ER  -