Total termination of term rewriting is undecidable

H. Zantema

Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

Originele taal-2	Engels
Pagina's (van-tot)	43-60
Tijdschrift	Journal of Symbolic Computation
Volume	20
Nummer van het tijdschrift	1
DOI's	https://doi.org/10.1006/jsco.1995.1037
Status	Gepubliceerd - 1995

Toegang tot 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",

}