An Axiomatic Theory for Reversible Computation.

Ivan Lanese Iain C. C. Phillips Irek Ulidowski

Published in: ACM Trans. Comput. Log. (2024)

Keyphrases

theoretical framework
cellular automata
theoretical basis
general theory
computational model
linear algebra
data sets
neural network
information systems
preprocessing
hidden markov models
computational models
information theory
efficient computation
parallel computation