Proving Termination Starting from the End

Pierre Ganty Samir Genaim

Published in: CoRR (2013)

Keyphrases

term rewrite systems
starting point
term rewriting
image processing
data structure
user interface
image analysis
rewrite systems