Total termination of term rewriting in undecdable

H. Zantema

Research output: Contribution to journalArticleAcademicpeer-review

Original languageUndefined/Unknown
Pages (from-to)43-60
Number of pages18
JournalJournal of Symbolic Computation
Volume20
Publication statusPublished - 1996

Keywords

  • Wiskunde en Informatica (WIIN)

Cite this