Term rewriting for sale

M.G.J. Brand, van den, P. Klint, C. Verhoef

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    10 Citations (Scopus)
    Original languageEnglish
    Title of host publicationProceedings International Workshop on Rewriting Logic and its Applications (Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998)
    EditorsC. Kirchner
    Pages218-241
    DOIs
    Publication statusPublished - 1998

    Publication series

    NameElectronic Notes in Theoretical Computer Science
    ISSN (Print)1571-0061

    Cite this

    Brand, van den, M. G. J., Klint, P., & Verhoef, C. (1998). Term rewriting for sale. In C. Kirchner (Ed.), Proceedings International Workshop on Rewriting Logic and its Applications (Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998) (pp. 218-241). (Electronic Notes in Theoretical Computer Science). https://doi.org/10.1016/S1571-0661(05)80014-3
    Brand, van den, M.G.J. ; Klint, P. ; Verhoef, C. / Term rewriting for sale. Proceedings International Workshop on Rewriting Logic and its Applications (Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998). editor / C. Kirchner. 1998. pp. 218-241 (Electronic Notes in Theoretical Computer Science).
    @inproceedings{ab5ffc5ac0fa4878ba9e6aa0c1a8b42c,
    title = "Term rewriting for sale",
    author = "{Brand, van den}, M.G.J. and P. Klint and C. Verhoef",
    year = "1998",
    doi = "10.1016/S1571-0661(05)80014-3",
    language = "English",
    series = "Electronic Notes in Theoretical Computer Science",
    pages = "218--241",
    editor = "C. Kirchner",
    booktitle = "Proceedings International Workshop on Rewriting Logic and its Applications (Abbaye des Pr{\`e}montr{\`e}s at Pont-{\'a}-Mousson, France, September 1998)",

    }

    Brand, van den, MGJ, Klint, P & Verhoef, C 1998, Term rewriting for sale. in C Kirchner (ed.), Proceedings International Workshop on Rewriting Logic and its Applications (Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998). Electronic Notes in Theoretical Computer Science, pp. 218-241. https://doi.org/10.1016/S1571-0661(05)80014-3

    Term rewriting for sale. / Brand, van den, M.G.J.; Klint, P.; Verhoef, C.

    Proceedings International Workshop on Rewriting Logic and its Applications (Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998). ed. / C. Kirchner. 1998. p. 218-241 (Electronic Notes in Theoretical Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    TY - GEN

    T1 - Term rewriting for sale

    AU - Brand, van den, M.G.J.

    AU - Klint, P.

    AU - Verhoef, C.

    PY - 1998

    Y1 - 1998

    U2 - 10.1016/S1571-0661(05)80014-3

    DO - 10.1016/S1571-0661(05)80014-3

    M3 - Conference contribution

    T3 - Electronic Notes in Theoretical Computer Science

    SP - 218

    EP - 241

    BT - Proceedings International Workshop on Rewriting Logic and its Applications (Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998)

    A2 - Kirchner, C.

    ER -

    Brand, van den MGJ, Klint P, Verhoef C. Term rewriting for sale. In Kirchner C, editor, Proceedings International Workshop on Rewriting Logic and its Applications (Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998). 1998. p. 218-241. (Electronic Notes in Theoretical Computer Science). https://doi.org/10.1016/S1571-0661(05)80014-3

    Access to Document