Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!

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

Title:
Towards a Characterization of Two-way Bijections in a Reversible Computational Model
Authors:
Palazzo, Matteo, Roversi, Luca
Publication Year:
2025
Collection:
Computer Science
Subject Terms:
Computer Science - Logic in Computer Science, Computer Science - Computational Complexity, Computer Science - Programming Languages, F.3.2
Document Type:
Report Working Paper
Access URL:
http://arxiv.org/abs/2506.03382
Accession Number:
edsarx.2506.03382
Database:
arXiv

Weitere Informationen

We introduce an imperative, stack-based, and reversible computational model that characterizes Two-way Bijections both implicitly, concerning their computational complexity, and with zero-garbage.
Comment: 8 pages, 3 figures, 5 listings. Author's copy of the version which will appear in the Proceedings of the 17th International Conference, RC 2025, Odense, Denmark, July 3-4, 2025