An Ordinal Calculus for Proving Termination in Term Rewriting.

E. A. Cichon Hélène Touzet

Published in: CAAP (1996)

Keyphrases

term rewriting
rewrite systems
theorem proving
theorem prover
operational semantics
knuth bendix
ordinal scale
cooperative
training set
formal semantics