Identities among relations for higher-dimensional rewriting systems (Q2865984)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Identities among relations for higher-dimensional rewriting systems |
scientific article |
Statements
12 December 2013
0 references
n-category
0 references
rewriting
0 references
polygraph
0 references
identities among relations
0 references
finite derivation type
0 references
math.CT
0 references
math.AT
0 references
math.KT
0 references
