Least upper bounds on the size of confluence and church-rosser diagrams in term rewriting and λ-calculus
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
| Originalsprog | Engelsk |
|---|---|
| Artikelnummer | 31 |
| Tidsskrift | A C M Transactions on Computational Logic |
| Vol/bind | 14 |
| Udgave nummer | 4 |
| Antal sider | 28 |
| ISSN | 1529-3785 |
| DOI | |
| Status | Udgivet - 2013 |
ID: 117205091