Termination Proofs for String Rewriting Systems via Inverse Match-Bounds.

Alfons Geser Dieter Hofbauer Johannes Waldmann

Published in: J. Autom. Reason. (2005)

Keyphrases

rewriting systems
rewriting rules
upper bound
lower bound
pattern matching
data structure
theorem proving
theorem prover
transformation rules