An Axiomatic Approach to Reversible Computation.

Ivan Lanese Iain C. C. Phillips Irek Ulidowski

Published in: FoSSaCS (2020)

Keyphrases

markov chain
cellular automata
database
efficiently computing
real time
data sets
image sequences
computational complexity
information technology
mobile robot