Pages that link to "Item:Q2504386"
From MaRDI portal
The following pages link to Termination orders for three-dimensional rewriting (Q2504386):
Displaying 13 items.
- Higher-dimensional normalisation strategies for acyclicity (Q456807) (← links)
- Termination orders for 3-polygraphs (Q817890) (← links)
- Polygraphic resolutions and homology of monoids (Q1008743) (← links)
- Rewriting modulo isotopies in pivotal linear \((2,2)\)-categories (Q2122211) (← links)
- Proof diagrams for multiplicative linear logic: syntax and semantics (Q2331072) (← links)
- Algebra and geometry of rewriting (Q2463397) (← links)
- The three dimensions of proofs (Q2498912) (← links)
- Intensional Properties of Polygraphs (Q2870314) (← links)
- Polygraphs of finite derivation type (Q3130298) (← links)
- Directed Homotopy in Non-Positively Curved Spaces (Q3300792) (← links)
- Coherence in monoidal track categories (Q4649461) (← links)
- String diagram rewrite theory II: Rewriting with symmetric monoidal structure (Q5058366) (← links)
- Algebraic coherent confluence and higher globular Kleene algebras (Q5060195) (← links)
