Termination and confluence in infinitary term rewriting
| Authors | |
|---|---|
| Publication date | 1998 |
| Journal | Journal of Symbolic Logic |
| Volume | Issue number | 63 |
| Pages (from-to) | 1286-1296 |
| Number of pages | 10 |
| Organisations |
|
| Document type | Article |
| Published at | https://doi.org/10.2307/2586651 |
| Permalink to this page | |