Term rewriting for sale

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

doi:10.1016/S1571-0661(05)80014-3

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

Original language	English
Title of host publication	Proceedings International Workshop on Rewriting Logic and its Applications (Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998)
Editors	C. Kirchner
Pages	218-241
DOIs	https://doi.org/10.1016/S1571-0661(05)80014-3
Publication status	Published - 1998

Publication series

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

Access to Document

10.1016/S1571-0661(05)80014-3

Cite this

@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)",

}

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 -