| Original language | Undefined/Unknown |
|---|---|
| Place of Publication | Utrecht, the Netherlands |
| Publisher | Utrecht University: Information and Computing Sciences |
| Volume | 1996-45 |
| Edition | UU-CS |
| ISBN (Print) | 0924-3275 |
| Publication status | Published - 1996 |
Relative undecidability in term rewriting
A. Geser, H. Zantema
Research output: Book/Report › Report › Academic