Conversion to tail recursion in term rewriting.

Naoki Nishida Germán Vidal

Published in: J. Log. Algebraic Methods Program. (2014)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
rewrite systems
knuth bendix
complex objects
power law
heavy tailed