-Termination.

Beatriz Alarcón Salvador Lucas José Meseguer

Published in: WRLA (2010)

Keyphrases

rewrite systems
term rewriting
real world
active rules
term rewrite systems
information retrieval
computer vision
cooperative
viewpoint
software engineering
integrity constraints
termination analysis