Hierarchical termination revisited.

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

Keyphrases

hierarchical structure
term rewriting
hierarchical clustering
hierarchical organization
neural network
artificial intelligence
information systems
multimedia
website
bayesian networks
preprocessing
active rules
hierarchical structures
termination analysis