Total termination of rewriting

M.C.F. Ferreira; H. Zantema

Total termination of rewriting

M.C.F. Ferreira
, H. Zantema

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

Originele taal-2	Engels
Titel	Rewriting Techniques and Applications (Proceedings 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993)
Plaats van productie	Berlin
Uitgeverij	Springer
Pagina's	213-227
ISBN van geprinte versie	3-540-56868-9
Status	Gepubliceerd - 1993

Publicatie series

Naam	Lecture Notes in Computer Science
Volume	690
ISSN van geprinte versie	0302-9743

Citeer dit

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

address = "Germany",

}

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. blz. 213-227 (Lecture Notes in Computer Science; Vol. 690).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › 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 -