Pages that link to "Item:Q5055865"
From MaRDI portal
The following pages link to Compositional term rewriting: An algebraic proof of Toyama's theorem (Q5055865):
Displaying 6 items.
- The Andrews-Curtis conjecture, term rewriting and first-order proofs (Q1662269) (← links)
- Modularity in term rewriting revisited (Q1929227) (← links)
- Modularity of Confluence (Q3541716) (← links)
- Algebras, Coalgebras, Monads and Comonads (Q4917035) (← links)
- Algebraic semantics and complexity of term rewriting systems (Q5055729) (← links)
- Compositional term rewriting: An algebraic proof of Toyama's theorem (Q5055865) (← links)