| Original language | English |
|---|---|
| Title of host publication | Term Rewriting Systems |
| Editors | Terese |
| Place of Publication | Cambridge |
| Publisher | Cambridge University Press |
| Pages | 301-474 |
| Publication status | Published - 2003 |
Publication series
| Name | |
|---|---|
| Number | 55 |
Equivalence of reduction
V. van Oostrom, R.C. de Vrijer
Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic › peer-review