Proving Termination Starting from the End.

Pierre Ganty Samir Genaim

Published in: CAV (2013)

Keyphrases

term rewrite systems
starting point
viewpoint
machine learning
artificial intelligence
computer vision
information systems
three dimensional
feature extraction
management system
term rewriting