Mechanically Proving Termination Using Polynomial Interpretations.

Evelyne Contejean Claude Marché Ana Paula Tomás Xavier Urbain

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

Keyphrases

term rewrite systems
rewrite rules
theorem prover
term rewriting
computer vision
databases
neural network
machine learning
learning algorithm
decision making
case study
data structure
mobile robot