%0 Conference Paper %1 journals/tcs/AkamaNK01 %A Akama, Kiyoshi %A Nantajeewarawat, Ekawit %A Koike, Hidekatsu %B RULE@PLI %D 2001 %E van den Brand, Mark %E Verma, Rakesh M. %I Elsevier %K dblp %N 4 %P 255-270 %T A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation. %U http://dblp.uni-trier.de/db/conf/rule/rule2001.html#AkamaNK01 %V 59

@inproceedings{journals/tcs/AkamaNK01, added-at = {2022-12-15T00:00:00.000+0100}, author = {Akama, Kiyoshi and Nantajeewarawat, Ekawit and Koike, Hidekatsu}, biburl = {https://www.bibsonomy.org/bibtex/27ee9ad25450d0cfcaeaee3064453d2ee/dblp}, booktitle = {RULE@PLI}, crossref = {conf/rule/2001}, editor = {van den Brand, Mark and Verma, Rakesh M.}, ee = {https://doi.org/10.1016/S1571-0661(04)00291-9}, interhash = {dc22869e10a5abbecf54ba95452b81f9}, intrahash = {7ee9ad25450d0cfcaeaee3064453d2ee}, keywords = {dblp}, number = 4, pages = {255-270}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T15:11:14.000+0200}, title = {A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation.}, url = {http://dblp.uni-trier.de/db/conf/rule/rule2001.html#AkamaNK01}, volume = 59, year = 2001 }