Termination orders for three-dimensional rewriting (Q2504386)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Termination orders for three-dimensional rewriting |
scientific article |
Statements
Termination orders for three-dimensional rewriting (English)
0 references
25 September 2006
0 references
3-polygraphs
0 references
rewriting on two-dimensional words
0 references
term rewriting systems
0 references
termination orders
0 references
