Relative undecidability in term rewriting

A. Geser; A. Middeldorp; E. Ohlebusch; H. Zantema

Relative undecidability in term rewriting

A. Geser, A. Middeldorp, E. Ohlebusch, H. Zantema

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

Original language	English
Title of host publication	Computer Science Logic (Selected Papers, 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996)
Editors	D. Dalen, van, M. Bezem
Publisher	Springer
Pages	150-166
ISBN (Print)	3-540-63172-0
Publication status	Published - 1997

Publication series

Name	Lecture Notes in Computer Science
Volume	1258
ISSN (Print)	0302-9743

Cite this

Geser, A., Middeldorp, A., Ohlebusch, E., & Zantema, H. (1997). Relative undecidability in term rewriting. In D. Dalen, van, & M. Bezem (Eds.), Computer Science Logic (Selected Papers, 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996) (pp. 150-166). (Lecture Notes in Computer Science; Vol. 1258). Springer.

@inproceedings{ab86c837ea064597ab954aa7be5609ec,

title = "Relative undecidability in term rewriting",

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

year = "1997",

language = "English",

isbn = "3-540-63172-0",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "150--166",

editor = "{Dalen, van}, D. and M. Bezem",

booktitle = "Computer Science Logic (Selected Papers, 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996)",

address = "Germany",

}

Relative undecidability in term rewriting. / Geser, A.; Middeldorp, A.; Ohlebusch, E. et al.
Computer Science Logic (Selected Papers, 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996). ed. / D. Dalen, van; M. Bezem. Springer, 1997. p. 150-166 (Lecture Notes in Computer Science; Vol. 1258).

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

TY - GEN

T1 - Relative undecidability in term rewriting

AU - Geser, A.

AU - Middeldorp, A.

AU - Ohlebusch, E.

AU - Zantema, H.

PY - 1997

Y1 - 1997

M3 - Conference contribution

SN - 3-540-63172-0

T3 - Lecture Notes in Computer Science

SP - 150

EP - 166

BT - Computer Science Logic (Selected Papers, 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996)

A2 - Dalen, van, D.

A2 - Bezem, M.

PB - Springer

ER -