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
    Pages59-71
    Publication statusPublished - 5 Feb 1997

    Keywords

    • METIS-120069

    Cite this

    Katoen, J. P., & Nymeyer, A. (1997). The Systematic Development of a Pattern-Matching Algorithm using Term Rewrite Systems. In Proceedings of the Computing: The Australasian Theory Symposium (pp. 59-71). Sydney, Australia.