Total termination of rewriting

M.C.F. Ferreira; H. Zantema

Total termination of rewriting

M.C.F. Ferreira, H. Zantema

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

Original language	English
Title of host publication	Rewriting Techniques and Applications (Proceedings 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993)
Place of Publication	Berlin
Publisher	Springer
Pages	213-227
ISBN (Print)	3-540-56868-9
Publication status	Published - 1993

Publication series

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

Cite this

@inproceedings{63cac2d015da4c41b1769aafc04e9506,

title = "Total termination of rewriting",

author = "M.C.F. Ferreira and H. Zantema",

year = "1993",

language = "English",

isbn = "3-540-56868-9",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "213--227",

booktitle = "Rewriting Techniques and Applications (Proceedings 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993)",

}

Total termination of rewriting. / Ferreira, M.C.F.; Zantema, H.
Rewriting Techniques and Applications (Proceedings 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993). Berlin: Springer, 1993. p. 213-227 (Lecture Notes in Computer Science; Vol. 690).

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

TY - GEN

T1 - Total termination of rewriting

AU - Ferreira, M.C.F.

AU - Zantema, H.

PY - 1993

Y1 - 1993

M3 - Conference contribution

SN - 3-540-56868-9

T3 - Lecture Notes in Computer Science

SP - 213

EP - 227

BT - Rewriting Techniques and Applications (Proceedings 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993)

PB - Springer

CY - Berlin

ER -