Derivation lengths in term rewriting from interpretations in the naturals

V.C.S. Meeussen, H. Zantema

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

    Original languageEnglish
    Title of host publicationComputing Science in the Netherlands (CSN'93, Utrecht, The Netherlands, November 9-10, 1993)
    Place of PublicationAmsterdam
    PublisherCentrum voor Wiskunde en Informatica
    ISBN (Print)90-6196-430-X
    Publication statusPublished - 1993

    Cite this