%0 Conference Paper %1 conf/rta/KuriharaKO95 %A Kurihara, Masahito %A Kondo, Hisashi %A Ohuchi, Azuma %B RTA %D 1995 %E Hsiang, Jieh %I Springer %K dblp %P 71-85 %T Completion for Multiple Reduction Orderings. %U http://dblp.uni-trier.de/db/conf/rta/rta95.html#KuriharaKO95 %V 914 %@ 3-540-59200-8

@inproceedings{conf/rta/KuriharaKO95, added-at = {2017-05-20T00:00:00.000+0200}, author = {Kurihara, Masahito and Kondo, Hisashi and Ohuchi, Azuma}, biburl = {https://www.bibsonomy.org/bibtex/28b4825c4d9b76f439eb4bb2992bdfd52/dblp}, booktitle = {RTA}, crossref = {conf/rta/1995}, editor = {Hsiang, Jieh}, ee = {https://doi.org/10.1007/3-540-59200-8_48}, interhash = {40b5f41e2ebc8185bd6ed1721bb41930}, intrahash = {8b4825c4d9b76f439eb4bb2992bdfd52}, isbn = {3-540-59200-8}, keywords = {dblp}, pages = {71-85}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:19:06.000+0200}, title = {Completion for Multiple Reduction Orderings.}, url = {http://dblp.uni-trier.de/db/conf/rta/rta95.html#KuriharaKO95}, volume = 914, year = 1995 }