Sign in

An Axiomatic Approach to Reversible Computation.

Ivan LaneseIain C. C. PhillipsIrek 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