Pages that link to "Item:Q1331943"
From MaRDI portal
The following pages link to A finiteness condition for rewriting systems (Q1331943):
Displaying 11 items.
- Algebraic coherent confluence and higher globular Kleene algebras (Q5060195) (← links)
- Conditional semi-Thue systems for presenting monoids (Q5096810) (← links)
- The algebra of rewriting for presentations of inverse monoids (Q5119294) (← links)
- A cubical Squier’s theorem (Q5220186) (← links)
- Coherent presentations of Artin monoids (Q5259734) (← links)
- Trivializers and 2-Complexes (Q5297246) (← links)
- Rewriting in Gray categories with applications to coherence (Q5877242) (← links)
- Confluence of algebraic rewriting systems (Q5879266) (← links)
- A rewriting coherence theorem with applications in homotopy type theory (Q5879270) (← links)
- Shuffle polygraphic resolutions for operads (Q6134654) (← links)
- Coherence for plactic monoids via rewriting theory and crystal structures (Q6187527) (← links)