Relative undecidability in term rewriting : I. The termination hierarchy

A. Geser, A. Middeldorp, E. Ohlebusch, H. Zantema

Research output: Contribution to journalArticleAcademicpeer-review

8 Citations (Scopus)
3 Downloads (Pure)
Original languageEnglish
Pages (from-to)101-131
JournalInformation and Computation
Volume178
Issue number1
DOIs
Publication statusPublished - 2002

Cite this