TY - RPRT TI - Complexity and (un)decidability of fragments of $\langle ω^{ω^λ}; \times \rangle$ AU - Alexis Bès AU - Christian Choffrut PY - 2018 UR - https://arxiv.org/abs/1803.01418 ID - 1803.01418 ER -