Dependency Pairs and Polynomial Path Orders.

Martin Avanzini Georg Moser

Published in: RTA (2009)

Keyphrases

term rewrite systems
pairwise
dependency relations
database
low order
databases
machine learning
artificial intelligence
social networks
image sequences
dynamic programming
higher order
dynamic environments
shortest path
endpoints
optimal path