TY  - RPRT
TI  - The carry propagation of the successor function
AU  - Valérie Berthé
AU  - Christiane Frougny
AU  - Michel Rigo
AU  - Jacques Sakarovitch
PY  - 2020
UR  - https://arxiv.org/abs/1907.01464
ID  - 1907.01464
ER  -