Pages that link to "Item:Q5879266"

The following pages link to Confluence of algebraic rewriting systems (Q5879266):

Displaying 4 items.

• Rewriting modulo isotopies in pivotal linear \((2,2)\)-categories (Q2122211) (← links)
• Coherent confluence modulo relations and double groupoids (Q2136121) (← links)
• Algebraic coherent confluence and higher globular Kleene algebras (Q5060195) (← links)
• Shuffle polygraphic resolutions for operads (Q6134654) (← links)