| Original language | English |
|---|---|
| Place of Publication | Copenhagen, Denmark |
| Publisher | Unknown |
| Publication status | Published - 2002 |
Bibliographical note
hor2002Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
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 / Report › Book (Editorship) › Academic