Proving Termination One Loop at a Time.

Michael Codish Samir Genaim

Published in: WLPE (2003)

Keyphrases

term rewrite systems
rewrite rules
neural network
term rewriting
rewrite systems
databases
computer vision
viewpoint
database
information retrieval
relational databases
theorem proving