%0 Conference Paper %1 conf/rta/FuhsK12 %A Fuhs, Carsten %A Kop, Cynthia %B RTA %D 2012 %E Tiwari, Ashish %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K %P 176-192 %T Polynomial Interpretations for Higher-Order Rewriting. %U http://dblp.uni-trier.de/db/conf/rta/rta2012.html#FuhsK12 %V 15 %@ 978-3-939897-38-5

@inproceedings{conf/rta/FuhsK12, added-at = {2023-12-12T17:37:47.000+0100}, author = {Fuhs, Carsten and Kop, Cynthia}, biburl = {https://www.bibsonomy.org/bibtex/280f9e781665fd1d327d4408d05b2c332/admin}, booktitle = {RTA}, crossref = {conf/rta/2012}, editor = {Tiwari, Ashish}, ee = {https://doi.org/10.4230/LIPIcs.RTA.2012.176}, interhash = {0675d12e32494a84e96b4fcf3c2788ab}, intrahash = {80f9e781665fd1d327d4408d05b2c332}, isbn = {978-3-939897-38-5}, keywords = {}, pages = {176-192}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2023-12-12T17:37:47.000+0100}, title = {Polynomial Interpretations for Higher-Order Rewriting.}, url = {http://dblp.uni-trier.de/db/conf/rta/rta2012.html#FuhsK12}, volume = 15, year = 2012 }