%0 Conference Paper %1 conf/frocos/FuhsK11 %A Fuhs, Carsten %A Kop, Cynthia %B FroCoS %D 2011 %E Tinelli, Cesare %E Sofronie-Stokkermans, Viorica %I Springer %K %P 147-162 %T Harnessing First Order Termination Provers Using Higher Order Dependency Pairs. %U http://dblp.uni-trier.de/db/conf/frocos/frocos2011.html#FuhsK11 %V 6989 %@ 978-3-642-24363-9

@inproceedings{conf/frocos/FuhsK11, added-at = {2023-12-12T21:35:07.000+0100}, author = {Fuhs, Carsten and Kop, Cynthia}, biburl = {https://www.bibsonomy.org/bibtex/2122f89aa6ce8c8ba96d4b75892379bbb/admin}, booktitle = {FroCoS}, crossref = {conf/frocos/2011}, editor = {Tinelli, Cesare and Sofronie-Stokkermans, Viorica}, ee = {https://doi.org/10.1007/978-3-642-24364-6_11}, interhash = {405ee3f73dec2825509bba1baf92301a}, intrahash = {122f89aa6ce8c8ba96d4b75892379bbb}, isbn = {978-3-642-24363-9}, keywords = {}, pages = {147-162}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T21:35:07.000+0100}, title = {Harnessing First Order Termination Provers Using Higher Order Dependency Pairs.}, url = {http://dblp.uni-trier.de/db/conf/frocos/frocos2011.html#FuhsK11}, volume = 6989, year = 2011 }