%0 Conference Paper %1 conf/fossacs/BlanchetteWW17 %A Blanchette, Jasmin Christian %A Waldmann, Uwe %A Wand, Daniel %B FoSSaCS %D 2017 %E Esparza, Javier %E Murawski, Andrzej S. %K dblp %P 461-479 %T A Lambda-Free Higher-Order Recursive Path Order. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2017.html#BlanchetteWW17 %V 10203 %@ 978-3-662-54458-7

@inproceedings{conf/fossacs/BlanchetteWW17, added-at = {2019-10-19T00:00:00.000+0200}, author = {Blanchette, Jasmin Christian and Waldmann, Uwe and Wand, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/2757c860ca6a5279b99e25c5f31a78edc/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2017}, editor = {Esparza, Javier and Murawski, Andrzej S.}, ee = {https://doi.org/10.1007/978-3-662-54458-7_27}, interhash = {4e8afd934fb8c34f54277acb501220ec}, intrahash = {757c860ca6a5279b99e25c5f31a78edc}, isbn = {978-3-662-54458-7}, keywords = {dblp}, pages = {461-479}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T15:29:48.000+0200}, title = {A Lambda-Free Higher-Order Recursive Path Order.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2017.html#BlanchetteWW17}, volume = 10203, year = 2017 }