%0 Conference Paper %1 journals/entcs/Schorlemmer98 %A Schorlemmer, W. Marco %B WRLA %D 1998 %E Kirchner, Claude %E Kirchner, Hélène %I Elsevier %K dblp %P 196-217 %T Rewriting logic as a logic of special relations. %U http://dblp.uni-trier.de/db/journals/entcs/entcs15.html#Schorlemmer98 %V 15

@inproceedings{journals/entcs/Schorlemmer98, added-at = {2022-10-02T00:00:00.000+0200}, author = {Schorlemmer, W. Marco}, biburl = {https://www.bibsonomy.org/bibtex/2b52d6db595bf6f31b90b2cc10d160a32/dblp}, booktitle = {WRLA}, crossref = {conf/wrla/1998}, editor = {Kirchner, Claude and Kirchner, Hélène}, ee = {https://doi.org/10.1016/S1571-0661(05)80013-1}, interhash = {bb3dc852c26c5ffd1f663d13453a1548}, intrahash = {b52d6db595bf6f31b90b2cc10d160a32}, keywords = {dblp}, pages = {196-217}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T08:53:39.000+0200}, title = {Rewriting logic as a logic of special relations.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs15.html#Schorlemmer98}, volume = 15, year = 1998 }