Termination of Narrowing Using Dependency Pairs.

María Alpuente Santiago Escobar José Iborra

Published in: ICLP (2008)

Keyphrases

term rewrite systems
pairwise
dependency relations
data sets
databases
information retrieval
computer vision
term rewriting
search engine
database systems
artificial neural networks
data model
digital divide