Nominal rewriting (Q2373703)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Nominal rewriting |
scientific article |
Statements
Nominal rewriting (English)
0 references
16 July 2007
0 references
binders
0 references
\(\alpha\)-conversion
0 references
first-order and higher-order rewriting
0 references
confluence
0 references
