TORPA: Termination of Rewriting Proved Automatically.

Published in: RTA (2004)

Keyphrases

termination analysis
automatically generated
neural network
artificial intelligence
image processing
decision trees
term rewriting
database
genetic algorithm
query rewriting
presburger arithmetic