%0 Conference Paper %1 conf/cade/IborraNVY15 %A Iborra, José %A Nishida, Naoki %A Vidal, Germán %A Yamada, Akihisa %B CADE %D 2015 %E Felty, Amy P. %E Middeldorp, Aart %I Springer %K dblp %P 163-178 %T Reducing Relative Termination to Dependency Pair Problems. %U http://dblp.uni-trier.de/db/conf/cade/cade2015.html#IborraNVY15 %V 9195 %@ 978-3-319-21400-9

@inproceedings{conf/cade/IborraNVY15, added-at = {2020-06-15T00:00:00.000+0200}, author = {Iborra, José and Nishida, Naoki and Vidal, Germán and Yamada, Akihisa}, biburl = {https://www.bibsonomy.org/bibtex/24f85e6a5cb7a428a28cf3734a1984ab2/dblp}, booktitle = {CADE}, crossref = {conf/cade/2015}, editor = {Felty, Amy P. and Middeldorp, Aart}, ee = {https://doi.org/10.1007/978-3-319-21401-6_11}, interhash = {566b46a3a5cf0466720bb0b694033e03}, intrahash = {4f85e6a5cb7a428a28cf3734a1984ab2}, isbn = {978-3-319-21400-9}, keywords = {dblp}, pages = {163-178}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-06-16T12:36:49.000+0200}, title = {Reducing Relative Termination to Dependency Pair Problems.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2015.html#IborraNVY15}, volume = 9195, year = 2015 }