Pages that link to "Item:Q5879266"
From MaRDI portal
The following pages link to Confluence of algebraic rewriting systems (Q5879266):
Displaying 14 items.
- On ground-confluence of term rewriting systems (Q913496) (← links)
- A class of confluent term rewriting systems and unification (Q1101209) (← links)
- An algebraic structure for derivations in rewriting systems (Q1111012) (← links)
- Confluence of curried term-rewriting systems (Q1907275) (← links)
- Rewriting modulo isotopies in pivotal linear \((2,2)\)-categories (Q2122211) (← links)
- Coherent confluence modulo relations and double groupoids (Q2136121) (← links)
- Topological rewriting systems applied to standard bases and syntactic algebras (Q2295395) (← links)
- Confluence in probabilistic rewriting (Q2333318) (← links)
- Finite canonical rewriting systems for congruences generated by concurrency relations (Q3779772) (← links)
- (Q5020536) (← links)
- Algebraic coherent confluence and higher globular Kleene algebras (Q5060195) (← links)
- Term Rewriting and Applications (Q5703842) (← links)
- An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra (Q5747888) (← links)
- Shuffle polygraphic resolutions for operads (Q6134654) (← links)