Relative undecidability in term rewriting : I. The termination hierarchy

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

10 Citaten (Scopus)

15 Downloads (Pure)

Originele taal-2	Engels
Pagina's (van-tot)	101-131
Tijdschrift	Information and Computation
Volume	178
Nummer van het tijdschrift	1
DOI's	https://doi.org/10.1006/inco.2002.3120
Status	Gepubliceerd - 2002

Toegang tot document

@article{1c3212c7656149c1875a7d9a6b423978,

title = "Relative undecidability in term rewriting : I. The termination hierarchy",

author = "A. Geser and A. Middeldorp and E. Ohlebusch and H. Zantema",

year = "2002",

doi = "10.1006/inco.2002.3120",

language = "English",

volume = "178",

pages = "101--131",

journal = "Information and Computation",

issn = "0890-5401",

publisher = "Elsevier",

number = "1",

}