Rewriting in Operads and PROPs
From MaRDI portal
Recommendations
- Diagram rewriting and operads
- Operads revisited
- Rewriting on cyclic structures: Equivalence between the operational and the categorical description
- Inverting operations in operads
- Formal Methods in Software and Systems Modeling
- Automata, Languages and Programming
- A rewriting logic approach to operational semantics
- scientific article; zbMATH DE number 1231476
- Computational Category-Theoretic Rewriting
- Computational category-theoretic rewriting
Cites work
Cited in
(8)- Gröbner bases for coloured operads
- Diagram rewriting and operads
- Operads and PROPs
- scientific article; zbMATH DE number 1471984 (Why is no real title available?)
- Network rewriting. II: Bi- and Hopf algebras
- Network rewriting utility description
- Tracelet Hopf algebras and decomposition spaces (extended abstract)
- Gröbner bases for operads
This page was built for publication: Rewriting in Operads and PROPs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3549575)