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.
    Katoen, Joost P. ; Nymeyer, Albert. / The Systematic Development of a Pattern-Matching Algorithm using Term Rewrite Systems. Proceedings of the Computing: The Australasian Theory Symposium. Sydney, Australia, 1997. pp. 59-71
    @inproceedings{d1778b8381294923a00b6f9c518e6031,
    title = "The Systematic Development of a Pattern-Matching Algorithm using Term Rewrite Systems",
    keywords = "METIS-120069",
    author = "Katoen, {Joost P.} and Albert Nymeyer",
    note = "eemcs-eprint-6490",
    year = "1997",
    month = "2",
    day = "5",
    language = "Undefined",
    pages = "59--71",
    booktitle = "Proceedings of the Computing: The Australasian Theory Symposium",

    }

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

    The Systematic Development of a Pattern-Matching Algorithm using Term Rewrite Systems. / Katoen, Joost P.; Nymeyer, Albert.

    Proceedings of the Computing: The Australasian Theory Symposium. Sydney, Australia, 1997. p. 59-71.

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

    TY - GEN

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

    AU - Katoen, Joost P.

    AU - Nymeyer, Albert

    N1 - eemcs-eprint-6490

    PY - 1997/2/5

    Y1 - 1997/2/5

    KW - METIS-120069

    M3 - Conference contribution

    SP - 59

    EP - 71

    BT - Proceedings of the Computing: The Australasian Theory Symposium

    CY - Sydney, Australia

    ER -

    Katoen JP, Nymeyer A. The Systematic Development of a Pattern-Matching Algorithm using Term Rewrite Systems. In Proceedings of the Computing: The Australasian Theory Symposium. Sydney, Australia. 1997. p. 59-71