Original language | English |
---|---|
Title of host publication | Term Rewriting Systems |
Editors | Terese |
Place of Publication | Cambridge |
Publisher | Cambridge University Press |
Pages | 588-667 |
Publication status | Published - 2003 |
Higher-Order Rewriting
Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic › peer-review