A confluent rewriting system having no computable, one-step, normalizing strategy

Research output: Contribution to journalJournal articlepeer-review

Original languageEnglish
Article number10
JournalACM Transactions on Computational Logic
Volume16
Issue number2
Number of pages9
ISSN1529-3785
DOIs
Publication statusPublished - 2015

ID: 156027935