Compositional term rewriting: An algebraic proof of Toyama's theorem
From MaRDI portal
Publication:5055865
DOI10.1007/3-540-61464-8_58zbMATH Open1503.68133OpenAlexW1577802939MaRDI QIDQ5055865FDOQ5055865
Publication date: 9 December 2022
Published in: Rewriting Techniques and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-61464-8_58
Recommendations
Grammars and rewriting systems (68Q42) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Institutions: abstract model theory for specification and programming
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Specifications in an arbitrary institution
- Formal category theory: Adjointness for 2-categories
- On the Church-Rosser property for the direct sum of term rewriting systems
- Modularity of confluence: A simplified proof
- Title not available (Why is that?)
- Compositional term rewriting: An algebraic proof of Toyama's theorem
Cited In (7)
- Modularity of Confluence
- Modularity in term rewriting revisited
- Title not available (Why is that?)
- Algebras, Coalgebras, Monads and Comonads
- Compositional term rewriting: An algebraic proof of Toyama's theorem
- The Andrews-Curtis conjecture, term rewriting and first-order proofs
- Algebraic semantics and complexity of term rewriting systems
This page was built for publication: Compositional term rewriting: An algebraic proof of Toyama's theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5055865)
