Levels of undecidability in rewriting

Research output: Contribution to journalJournal articleResearchpeer-review

Original languageEnglish
JournalInformation and Computation
Volume209
Issue number2
Pages (from-to)227-245
Number of pages19
ISSN0890-5401
DOIs
Publication statusPublished - 2011

ID: 37441007