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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined
Title of host publication	Proceedings of the Computing: The Australasian Theory Symposium
Place of Publication	Sydney, Australia
Pages	59-71
Publication status	Published - 5 Feb 1997

Keywords

@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 = feb,

day = "5",

language = "Undefined",

pages = "59--71",

booktitle = "Proceedings of the Computing: The Australasian Theory Symposium",

}