Login / Signup
Reversible computation in term rewriting.
Naoki Nishida
Adrián Palacios
Germán Vidal
Published in:
J. Log. Algebraic Methods Program. (2018)
Keyphrases
</>
term rewriting
theorem proving
theorem prover
operational semantics
rewrite systems
knuth bendix
markov chain
cellular automata
cooperative
data sets
reinforcement learning
multi agent
dynamic environments
reversible watermarking