| Original language | English |
|---|---|
| Pages (from-to) | 257-267 |
| Journal | CWI Quarterly |
| Volume | 4 |
| Issue number | 4 |
| Publication status | Published - 1991 |
Term rewriting analysis in process algebra
G.J. Akkerman, J.C.M. Baeten
Research output: Contribution to journal › Article › Popular
67
Downloads
(Pure)