TY  - RPRT
TI  - Equations over Finite Monoids with Infinite Promises
AU  - Alberto Larrauri
AU  - Antoine Mottet
AU  - Stanislav Živný
PY  - 2026
DO  - 10.1145/3816149
UR  - https://arxiv.org/abs/2502.06762
ID  - 2502.06762
ER  -