Login / Signup
Dependency Pairs and Polynomial Path Orders
Martin Avanzini
Georg Moser
Published in:
CoRR (2009)
Keyphrases
</>
term rewrite systems
shortest path
dependency relations
real time
multiscale
multiple paths
information retrieval
minimum cost