A confluent rewriting system having no computable, one-step, normalizing strategy
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Originalsprog | Engelsk |
---|---|
Artikelnummer | 10 |
Tidsskrift | ACM Transactions on Computational Logic |
Vol/bind | 16 |
Udgave nummer | 2 |
Antal sider | 9 |
ISSN | 1529-3785 |
DOI | |
Status | Udgivet - 2015 |
ID: 156027935