Reversible Computations of One-Way Counter Automata
and
RAIRO-Theor. Inf. Appl., 58 (2024) 5
Published online: 15 March 2024
DOI: 10.1051/ita/2023011
