Polytool: Proving Termination Automatically Based on Polynomial Interpretations.

Manh Thang Nguyen Danny De Schreye

Published in: LOPSTR (2006)

Keyphrases

term rewrite systems
automatically generated
rewrite rules
semi automatically
image processing
three dimensional
wide range
database
databases
high level
similarity measure
learning environment