Termination of term rewriting by interpretation

H. Zantema

Termination of term rewriting by interpretation

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

Original language	English
Title of host publication	Conditional Term Rewriting Systems (Proceedings 3rd International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992)
Editors	M. Rusinowitch, J.L. Remy
Place of Publication	Berlin
Publisher	Springer
Pages	155-167
ISBN (Print)	3-540-56393-8
Publication status	Published - 1993

Publication series

Name	Lecture Notes in Computer Science
Volume	656
ISSN (Print)	0302-9743

Cite this

@inproceedings{02b562e917ec45a298021be57f85b10d,

title = "Termination of term rewriting by interpretation",

author = "H. Zantema",

year = "1993",

language = "English",

isbn = "3-540-56393-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "155--167",

editor = "M. Rusinowitch and J.L. Remy",

booktitle = "Conditional Term Rewriting Systems (Proceedings 3rd International Workshop, CTRS-92, Pont-{\`a}-Mousson, France, July 8-10, 1992)",

address = "Germany",

}

Termination of term rewriting by interpretation. / Zantema, H.

Conditional Term Rewriting Systems (Proceedings 3rd International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992). ed. / M. Rusinowitch; J.L. Remy. Berlin : Springer, 1993. p. 155-167 (Lecture Notes in Computer Science; Vol. 656).

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

TY - GEN

T1 - Termination of term rewriting by interpretation

AU - Zantema, H.

PY - 1993

Y1 - 1993

M3 - Conference contribution

SN - 3-540-56393-8

T3 - Lecture Notes in Computer Science

SP - 155

EP - 167

BT - Conditional Term Rewriting Systems (Proceedings 3rd International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992)

A2 - Rusinowitch, M.

A2 - Remy, J.L.

PB - Springer

CY - Berlin

ER -