Local Termination.

Jörg Endrullis Roel C. de Vrijer Johannes Waldmann

Published in: RTA (2009)

Keyphrases

term rewriting
data sets
databases
three dimensional
rewrite systems
termination analysis
information systems
high dimensional
active rules