Reversible Term Rewriting.

Naoki Nishida Adrián Palacios Germán Vidal

Published in: FSCD (2016)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
markov chain
rewrite systems
cellular automata
knuth bendix
databases
reversible watermarking
database
machine learning
cooperative
natural language
inference rules