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