Automatically Proving Termination Where Simplification Orderings Fail.

Thomas Arts Jürgen Giesl

Published in: TAPSOFT (1997)

Keyphrases

multiresolution
term rewrite systems
artificial neural networks
wide range
semi automatically
data sets
neural network
learning algorithm
decision trees
multiscale