T Colcombet, G Douéneau-Tabot… - 2023 38th Annual ACM …, 2023 - ieeexplore.ieee.org
This paper studies a robust class of functions from finite words to integers that we call ℤ-
polyregular functions. We show that it admits natural characterizations in terms of logics, ℤ …