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

Albert Nymeyer (Keynote speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Key-note speaker Plaats van uitgifte: Sydney, Australia
    Period13 Feb 1997
    Event titleVoordracht The Australasian Theory Symposium
    Event typeConference
    LocationSydney, Australia

    Keywords

    • METIS-122688