Proving Termination by Bounded Increase.

Jürgen Giesl René Thiemann Stephan Swiderski Peter Schneider-Kamp

Published in: CADE (2007)

Keyphrases

term rewrite systems
database
data sets
neural network
case study
special case
probabilistic model
asymptotically optimal
term rewriting