%0 Conference Paper %1 conf/cade/BeckerBWW17 %A Becker, Heiko %A Blanchette, Jasmin Christian %A Waldmann, Uwe %A Wand, Daniel %B CADE %D 2017 %E de Moura, Leonardo %I Springer %K %P 432-453 %T A Transfinite Knuth-Bendix Order for Lambda-Free Higher-Order Terms. %U http://dblp.uni-trier.de/db/conf/cade/cade2017.html#BeckerBWW17 %V 10395 %@ 978-3-319-63046-5

@inproceedings{conf/cade/BeckerBWW17, added-at = {2023-12-13T04:07:38.000+0100}, author = {Becker, Heiko and Blanchette, Jasmin Christian and Waldmann, Uwe and Wand, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/2fe7a7beb6bebe96a68a14f4557388a3f/admin}, booktitle = {CADE}, crossref = {conf/cade/2017}, editor = {de Moura, Leonardo}, ee = {https://doi.org/10.1007/978-3-319-63046-5_27}, interhash = {9243d48837531d67535c4cbcd7f41184}, intrahash = {fe7a7beb6bebe96a68a14f4557388a3f}, isbn = {978-3-319-63046-5}, keywords = {}, pages = {432-453}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T04:07:38.000+0100}, title = {A Transfinite Knuth-Bendix Order for Lambda-Free Higher-Order Terms.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2017.html#BeckerBWW17}, volume = 10395, year = 2017 }