-termination of rewriting by size-change termination.

Mirtha-Lina Fernández

Published in: Inf. Process. Lett. (2005)

Keyphrases

termination analysis
active rules
term rewriting
rewrite systems
information retrieval
small size
web services
data streams
computational complexity
window size
type checking