Original language | Undefined/Unknown |
---|---|
Title of host publication | Proceedings of the Conference of the European Association of Computer Science Logic (CSL96) |
Editors | D. van Dalen |
Place of Publication | Berlin, Germany |
Publisher | Springer |
Pages | 150-166 |
Number of pages | 17 |
Publication status | Published - 1997 |
Relative undicidability in term rewriting
A. Geser, A. Middeldorp, E. Ohlebusch, H. Zantema
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review