%0 Conference Paper %1 conf/rta/Werner93 %A Werner, Andreas %B RTA %D 1993 %E Kirchner, Claude %I Springer %K dblp %P 47-61 %T A Semantic Approach to Order-Sorted Rewriting. %U http://dblp.uni-trier.de/db/conf/rta/rta93.html#Werner93 %V 690 %@ 3-540-56868-9

@inproceedings{conf/rta/Werner93, added-at = {2017-05-22T00:00:00.000+0200}, author = {Werner, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/2a81e4a7cc06639b599a8bde3f04a28f1/dblp}, booktitle = {RTA}, crossref = {conf/rta/1993}, editor = {Kirchner, Claude}, ee = {https://doi.org/10.1007/978-3-662-21551-7_5}, interhash = {82f76ae15a183cd47d99287e3cb3c8fc}, intrahash = {a81e4a7cc06639b599a8bde3f04a28f1}, isbn = {3-540-56868-9}, keywords = {dblp}, pages = {47-61}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:18:37.000+0200}, title = {A Semantic Approach to Order-Sorted Rewriting.}, url = {http://dblp.uni-trier.de/db/conf/rta/rta93.html#Werner93}, volume = 690, year = 1993 }