Reducing Right-Hand Sides for Termination.

Published in: Processes, Terms and Cycles (2005)

Keyphrases

rewrite systems
information retrieval
neural network
information systems
case study
training data
data analysis
training set
email
term rewriting