Relative undicidability in term rewriting

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

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

Cite this

@inproceedings{2b93ecf2b3784cdfaa9471d30c382174,

title = "Relative undicidability in term rewriting",

author = "A. Geser and A. Middeldorp and E. Ohlebusch and H. Zantema",

year = "1997",

language = "Undefined/Unknown",

pages = "150--166",

editor = "\{van Dalen\}, D.",

booktitle = "Proceedings of the Conference of the European Association of Computer Science Logic (CSL96)",

publisher = "Springer",

}