Original language | English |
---|---|
Pages (from-to) | 3-19 |
Journal | Applicable Algebra in Engineering, Communication and Computing |
Volume | 12 |
Issue number | 1-2 |
DOIs | |
Publication status | Published - 2001 |
The termination hierarchy for term rewriting
Research output: Contribution to journal › Article › Academic › peer-review
13
Citations
(Scopus)
2
Downloads
(Pure)