Pages that link to "Item:Q1111012"
From MaRDI portal
The following pages link to An algebraic structure for derivations in rewriting systems (Q1111012):
Displaying 8 items.
- Rewriting modulo isotopies in pivotal linear \((2,2)\)-categories (Q2122211) (← links)
- Topological rewriting systems applied to standard bases and syntactic algebras (Q2295395) (← links)
- (Q3343462) (← links)
- (Q3779778) (← links)
- Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding (Q5058367) (← links)
- An abstract formulation for rewrite systems (Q5096266) (← links)
- An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra (Q5747888) (← links)
- Confluence of algebraic rewriting systems (Q5879266) (← links)