Pages that link to "Item:Q2865984"

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)