Proceedings of the First International Workshop on Higher-Order Rewriting (HOR 2002)

D. Kesner (Editor), N. Nipkow (Editor), F. van Raamsdonk (Editor)

Research output: Book / ReportBook editingAcademic

Original languageEnglish
Place of PublicationCopenhagen, Denmark
PublisherUnknown Publisher
Publication statusPublished - 2002

Bibliographical note

hor2002

Cite this