Total termination of term rewriting

M.C.F. Ferreira, H. Zantema

Research output: Contribution to journal › Article › Academic › peer-review

Original language	Undefined/Unknown
Pages (from-to)	133-162
Number of pages	30
Journal	Applicable algebra in engineering, communication and computing
Volume	7
Issue number	2
Publication status	Published - 1996

Keywords

@article{c048645715af489dac6638b4c74a1a97,

title = "Total termination of term rewriting",

keywords = "Wiskunde en Informatica (WIIN)",

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

year = "1996",

language = "Undefined/Unknown",

volume = "7",

pages = "133--162",

journal = "Applicable algebra in engineering, communication and computing",

issn = "0938-1279",

publisher = "Springer Verlag",

number = "2",

}