Sign in

An Axiomatic Theory for Reversible Computation.

Ivan LaneseIain C. C. PhillipsIrek Ulidowski
Published in: CoRR (2023)
Keyphrases