The termination hierarchy for term rewriting

Research output: Contribution to journalArticleAcademicpeer-review

9 Citations (Scopus)
2 Downloads (Pure)
Original languageEnglish
Pages (from-to)3-19
JournalApplicable Algebra in Engineering, Communication and Computing
Volume12
Issue number1-2
DOIs
Publication statusPublished - 2001

Cite this