TY  - RPRT
TI  - The Alternation Hierarchy of First-Order Logic on Words is Decidable
AU  - Corentin Barloy
AU  - Michaël Cadilhac
AU  - Charles Paperman
AU  - Howard Straubing
PY  - 2025
UR  - https://arxiv.org/abs/2501.14899
ID  - 2501.14899
ER  -