The Systematic Development of a Pattern-Matching Algorithm using Term Rewrite Systems

Joost P. Katoen, Albert Nymeyer

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

    Original languageUndefined
    Title of host publicationProceedings of the Computing: The Australasian Theory Symposium
    Place of PublicationSydney, Australia
    Publication statusPublished - 5 Feb 1997


    • METIS-120069

    Cite this