Original language | English |
---|---|
Title of host publication | Term Rewriting Systems |
Editors | Terese |
Place of Publication | Cambridge |
Publisher | Cambridge University Press |
Pages | 744-789 |
Publication status | Published - 2003 |
Publication series
Name | Cambridge Tracts in Theoretical Computer Science |
---|---|
Number | 55 |