Degrees of Undecidability in Term Rewriting

J. Endrullis, H. Geuvers, H. Zantema

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)255-270
JournalLecture Notes in Computer Science
Volume5771
DOIs
Publication statusPublished - 2009
EventComputer Science Logic -
Duration: 1 Jan 20091 Jan 2009

Bibliographical note

Proceedings title: Proc. Conf. on Computer Science Logic
Publisher: Springer

Cite this

Endrullis, J. ; Geuvers, H. ; Zantema, H. / Degrees of Undecidability in Term Rewriting. In: Lecture Notes in Computer Science. 2009 ; Vol. 5771. pp. 255-270.
@article{49a628f5c9894c189567c873dc5ec3d9,
title = "Degrees of Undecidability in Term Rewriting",
author = "J. Endrullis and H. Geuvers and H. Zantema",
note = "Proceedings title: Proc. Conf. on Computer Science Logic Publisher: Springer",
year = "2009",
doi = "10.1007/978-3-642-04027-6_20",
language = "English",
volume = "5771",
pages = "255--270",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Springer Verlag",

}

Degrees of Undecidability in Term Rewriting. / Endrullis, J.; Geuvers, H.; Zantema, H.

In: Lecture Notes in Computer Science, Vol. 5771, 2009, p. 255-270.

Research output: Contribution to JournalArticleAcademicpeer-review

TY - JOUR

T1 - Degrees of Undecidability in Term Rewriting

AU - Endrullis, J.

AU - Geuvers, H.

AU - Zantema, H.

N1 - Proceedings title: Proc. Conf. on Computer Science Logic Publisher: Springer

PY - 2009

Y1 - 2009

U2 - 10.1007/978-3-642-04027-6_20

DO - 10.1007/978-3-642-04027-6_20

M3 - Article

VL - 5771

SP - 255

EP - 270

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -