![](/img/cover-not-exists.png)
Relative Termination via Dependency Pairs
Iborra, José, Nishida, Naoki, Vidal, Germán, Yamada, AkihisaVolume:
58
Language:
english
Journal:
Journal of Automated Reasoning
DOI:
10.1007/s10817-016-9373-5
Date:
March, 2017
File:
PDF, 610 KB
english, 2017