Pages that link to "Item:Q2865984"
From MaRDI portal
The following pages link to Identities among relations for higher-dimensional rewriting systems (Q2865984):
Displayed 5 items.
- Higher-dimensional normalisation strategies for acyclicity (Q456807) (← links)
- Syzygies among reduction operators (Q1789663) (← links)
- Chinese syzygies by insertions (Q2070976) (← links)
- Variations on a theme of homotopy (Q2448536) (← links)
- Polygraphs of finite derivation type (Q3130298) (← links)