Termination of Cycle Rewriting.

Hans Zantema Barbara König H. J. Sander Bruggink

Published in: RTA-TLCA (2014)

Keyphrases

termination analysis
active rules
presburger arithmetic
type checking
term rewriting
active databases
rewrite systems
data sets
machine learning
query rewriting
rewrite rules
rewriting rules
database
data mining
quantifier elimination