Degrees of Undecidability in Term Rewriting

J. Endrullis; H. Geuvers; H. Zantema

doi:10.1007/978-3-642-04027-6_20

Degrees of Undecidability in Term Rewriting

J. Endrullis
, H. Geuvers
, H. Zantema

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	255-270
Journal	Lecture Notes in Computer Science
Volume	5771
DOIs	https://doi.org/10.1007/978-3-642-04027-6_20
Publication status	Published - 2009
Event	Computer Science Logic - Duration: 1 Jan 2009 → 1 Jan 2009

Bibliographical note

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

Access to Document

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

Persistent URL (handle)

Persistent link

Cite this

@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; Computer Science Logic ; Conference date: 01-01-2009 Through 01-01-2009",

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 Science and Business Media Deutschland GmbH",

}

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

UR - https://www.scopus.com/pages/publications/70350418985

UR - https://www.scopus.com/pages/publications/70350418985#tab=citedBy

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

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

M3 - Article

SN - 0302-9743

VL - 5771

SP - 255

EP - 270

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - Computer Science Logic

Y2 - 1 January 2009 through 1 January 2009

ER -

Degrees of Undecidability in Term Rewriting

Bibliographical note

Access to Document

Persistent URL (handle)

Other files and links

Cite this