Relative undecidability in the termination hierarchy of single rewrite rules

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

Original language	Undefined/Unknown
Title of host publication	Proceedings Theory and Practice of Software Development (TAPSOFT97, CAAP/FASE)
Editors	M. Bidoit, M. Dauchet
Place of Publication	Berlin, Germany
Publisher	Springer
Pages	237-248
Number of pages	12
Publication status	Published - 1997

Cite this

@inproceedings{9c706bd1bdb44e89b0b389218f4f3ef1,

title = "Relative undecidability in the termination hierarchy of single rewrite rules",

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

year = "1997",

language = "Undefined/Unknown",

pages = "237--248",

editor = "M. Bidoit and M. Dauchet",

booktitle = "Proceedings Theory and Practice of Software Development (TAPSOFT97, CAAP/FASE)",

publisher = "Springer",

}

Relative undecidability in the termination hierarchy of single rewrite rules. / Geser, A.; Middeldorp, A.; Ohlebusch, E. et al.
Proceedings Theory and Practice of Software Development (TAPSOFT97, CAAP/FASE). ed. / M. Bidoit; M. Dauchet. Berlin, Germany: Springer, 1997. p. 237-248.

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

TY - GEN

T1 - Relative undecidability in the termination hierarchy of single rewrite rules

AU - Geser, A.

AU - Middeldorp, A.

AU - Ohlebusch, E.

AU - Zantema, H.

PY - 1997

Y1 - 1997

M3 - Conference contribution

SP - 237

EP - 248

BT - Proceedings Theory and Practice of Software Development (TAPSOFT97, CAAP/FASE)

A2 - Bidoit, M.

A2 - Dauchet, M.

PB - Springer

CY - Berlin, Germany

ER -