Total termination of term rewriting is undecidable

    Research output: Contribution to journalArticleAcademicpeer-review

    12 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)43-60
    JournalJournal of Symbolic Computation
    Volume20
    Issue number1
    DOIs
    Publication statusPublished - 1995

    Cite this