Termination of term rewriting : from many-sorted to one-sorted

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

    Original languageEnglish
    Title of host publicationComputing Science in the Netherlands (CSN'91, Utrecht, The Netherlands, November 7-8, 1991)
    Place of PublicationAmsterdam
    PublisherCentrum voor Wiskunde en Informatica
    Pages617-629
    ISBN (Print)90-6196-404-0
    Publication statusPublished - 1991

    Cite this