BibTeX record journals/entcs/Schorlemmer98

download as .bib file

@inproceedings{DBLP:journals/entcs/Schorlemmer98,
  author       = {W. Marco Schorlemmer},
  editor       = {Claude Kirchner and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Rewriting logic as a logic of special relations},
  booktitle    = {1998 International Workshop on Rewriting Logic and its Applications,
                  {WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
                  France, September 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {15},
  pages        = {196--217},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80013-1},
  doi          = {10.1016/S1571-0661(05)80013-1},
  timestamp    = {Sun, 02 Oct 2022 15:34:20 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Schorlemmer98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics