%0 Journal Article %1 journals/corr/abs-cs-0702040 %A Guiraud, Yves %D 2007 %J CoRR %K %T Polygraphs for termination of left-linear term rewriting systems %U http://dblp.uni-trier.de/db/journals/corr/corr0702.html#abs-cs-0702040 %V abs/cs/0702040

@article{journals/corr/abs-cs-0702040, added-at = {2023-12-12T19:28:22.000+0100}, author = {Guiraud, Yves}, biburl = {https://www.bibsonomy.org/bibtex/24b8861547c40dcd0781ec92de82933fe/admin}, ee = {http://arxiv.org/abs/cs/0702040}, interhash = {213c97cf39ad7b112caab90f42244729}, intrahash = {4b8861547c40dcd0781ec92de82933fe}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-12T19:28:22.000+0100}, title = {Polygraphs for termination of left-linear term rewriting systems}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0702.html#abs-cs-0702040}, volume = {abs/cs/0702040}, year = 2007 }