%0 Conference Paper %1 conf/rta/VermaRL98 %A Verma, Rakesh M. %A Rusinowitch, Michaël %A Lugiez, Denis %B RTA %D 1998 %E Nipkow, Tobias %I Springer %K %P 166-180 %T Algorithms and Reductions for Rewriting Problems. %U http://dblp.uni-trier.de/db/conf/rta/rta98.html#VermaRL98 %V 1379 %@ 3-540-64301-X

@inproceedings{conf/rta/VermaRL98, added-at = {2023-12-12T21:13:36.000+0100}, author = {Verma, Rakesh M. and Rusinowitch, Michaël and Lugiez, Denis}, biburl = {https://www.bibsonomy.org/bibtex/226d4213da1f4dee1f4364218c0810e69/admin}, booktitle = {RTA}, crossref = {conf/rta/1998}, editor = {Nipkow, Tobias}, ee = {https://doi.org/10.1007/BFb0052369}, interhash = {3afd0e4183c9157b7f7174371f4e6910}, intrahash = {26d4213da1f4dee1f4364218c0810e69}, isbn = {3-540-64301-X}, keywords = {}, pages = {166-180}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T21:13:36.000+0100}, title = {Algorithms and Reductions for Rewriting Problems.}, url = {http://dblp.uni-trier.de/db/conf/rta/rta98.html#VermaRL98}, volume = 1379, year = 1998 }