View in EDS PDF Full Text

An Axiomatic Theory for Reversible Computation.

Saved in:
Bibliographic Details
Title: An Axiomatic Theory for Reversible Computation.
Authors: Lanese, Ivan1, ivan.lanese@gmail.com, Phillips, Iain2, i.phillips@imperial.ac.uk, Ulidowski, Irek3, i.ulidowski@leicester.ac.uk
Source: ACM Transactions on Computational Logic; Apr2024, Vol. 25 Issue 2, p1-40, 40p
Database: Applied Science & Technology Source
Description
ISSN:15293785
DOI:10.1145/3648474