activity
20242026
most citedReversible Computation with Stacks and "Reversible Management of Failures"

1 citations · 1 across the 1 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2025

Towards a Characterization of Two-way Bijections in a Reversible Computational Model

Matteo Palazzo, Luca Roversi

We introduce an imperative, stack-based, and reversible computational model that characterizes Two-way Bijections both implicitly, concerning their computational complexity, and wi…