Termination of narrowing via termination of rewriting.

Naoki Nishida Germán Vidal

Published in: Appl. Algebra Eng. Commun. Comput. (2010)

Keyphrases

termination analysis
active rules
term rewrite systems
np complete
type checking
presburger arithmetic
data mining
three dimensional
multiscale
active databases
rewrite rules
term rewriting