Modularity of Termination Using Dependency pairs.

Thomas Arts Jürgen Giesl

Published in: RTA (1998)

Keyphrases

term rewrite systems
pairwise
community detection
dependency relations
databases
face recognition
multiscale
evolutionary algorithm
multiresolution
term rewriting