%0 Conference Paper %1 conf/ppdp/Gramlich00 %A Gramlich, Bernhard %B PPDP %D 2000 %E Gabbrielli, Maurizio %E Pfenning, Frank %I ACM %K dblp %P 139-150 %T Simplifying termination proofs for rewrite systems by preprocessing. %U http://dblp.uni-trier.de/db/conf/ppdp/ppdp2000.html#Gramlich00 %@ 1-58113-265-4

@inproceedings{conf/ppdp/Gramlich00, added-at = {2018-11-27T00:00:00.000+0100}, author = {Gramlich, Bernhard}, biburl = {https://www.bibsonomy.org/bibtex/27f254902e5dfd8c68e8cc5d35a4d752c/dblp}, booktitle = {PPDP}, crossref = {conf/ppdp/2000}, editor = {Gabbrielli, Maurizio and Pfenning, Frank}, ee = {https://doi.org/10.1145/351268.351286}, interhash = {96b427b6dd83842a839f159577e8fdb1}, intrahash = {7f254902e5dfd8c68e8cc5d35a4d752c}, isbn = {1-58113-265-4}, keywords = {dblp}, pages = {139-150}, publisher = {ACM}, timestamp = {2018-11-28T11:39:26.000+0100}, title = {Simplifying termination proofs for rewrite systems by preprocessing.}, url = {http://dblp.uni-trier.de/db/conf/ppdp/ppdp2000.html#Gramlich00}, year = 2000 }