Total termination of term rewriting is undecidable

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

Original language	English
Pages (from-to)	43-60
Journal	Journal of Symbolic Computation
Volume	20
Issue number	1
DOIs	https://doi.org/10.1006/jsco.1995.1037
Publication status	Published - 1995

Access to Document

@article{c8ed2252717442288de0486fc0c57747,

title = "Total termination of term rewriting is undecidable",

author = "H. Zantema",

year = "1995",

doi = "10.1006/jsco.1995.1037",

language = "English",

volume = "20",

pages = "43--60",

journal = "Journal of Symbolic Computation",

issn = "0747-7171",

publisher = "Academic Press Inc.",

number = "1",

}