Reducing Relative Termination to Dependency Pair Problems.

José Iborra Naoki Nishida Germán Vidal Akihisa Yamada

Published in: CADE (2015)

Keyphrases

pairwise
main problems
data sets
np complete
related problems
mathematical programming
problems involving
practical problems