Reversible Computation in Term Rewriting.

Naoki Nishida Adrián Palacios Germán Vidal

Published in: CoRR (2017)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
rewrite systems
knuth bendix
cellular automata
markov chain
data sets
neural network
intelligent systems
efficient computation