Pages that link to "Item:Q5389147"
From MaRDI portal
The following pages link to Computing Critical Pairs in 2-Dimensional Rewriting Systems (Q5389147):
Displaying 7 items.
- Higher-dimensional normalisation strategies for acyclicity (Q456807) (← links)
- Rewriting modulo isotopies in pivotal linear \((2,2)\)-categories (Q2122211) (← links)
- Rewriting modulo isotopies in Khovanov-Lauda-Rouquier's categorification of quantum groups (Q2219329) (← links)
- Confluence of Graph Rewriting with Interfaces (Q2988637) (← links)
- Polygraphs of finite derivation type (Q3130298) (← links)
- String diagram rewrite theory III: Confluence with and without Frobenius (Q5879265) (← links)
- Confluence of algebraic rewriting systems (Q5879266) (← links)
