Termination of rewriting under strategies.

Isabelle Gnaedig Hélène Kirchner

Published in: ACM Trans. Comput. Log. (2009)

Keyphrases

presburger arithmetic
data sets
selection strategies
termination analysis
database
learning algorithm
special case
hidden markov models
np complete
search strategies
rewriting rules
rewriting systems