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
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