Treffer: An Axiomatic Theory for Reversible Computation.
Title:
An Axiomatic Theory for Reversible Computation.
Authors:
Source:
ACM Transactions on Computational Logic; Apr2024, Vol. 25 Issue 2, p1-40, 40p
Database:
Complementary Index