Termination of term rewriting by interpretation

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    17 Citations (Scopus)
    Original languageEnglish
    Title of host publicationConditional Term Rewriting Systems (Proceedings 3rd International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992)
    EditorsM. Rusinowitch, J.L. Remy
    Place of PublicationBerlin
    PublisherSpringer
    Pages155-167
    ISBN (Print)3-540-56393-8
    Publication statusPublished - 1993

    Publication series

    NameLecture Notes in Computer Science
    Volume656
    ISSN (Print)0302-9743

    Cite this