Rule algebras for adhesive categories

DOI10.4230/LIPICS.CSL.2018.11MaRDI QIDQ5079733zbMATH OpenFDO

Authors Nicolas Behr, Paweł Sobociński

Publication date 28 May 2022

zbMATH Keywords

adhesive categoriesdouble pushout (DPO) rewritingrule algebras

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• Rule algebras for adhesive categories
• Adhesivity is not enough: local Church-Rosser revisited
• Foundations of Software Science and Computation Structures
• Compositionality of rewriting rules with conditions
• Adhesive and quasiadhesive categories

Cited in

(9)

• Rewriting theory for the life sciences: a unifying theory of CTMC semantics
• A lattice-theoretical perspective on adhesive categories
• scientific article; zbMATH DE number 7226005 (Why is no real title available?)
• scientific article; zbMATH DE number 7453087 (Why is no real title available?)
• scientific article; zbMATH DE number 7453970 (Why is no real title available?)
• Rule algebras for adhesive categories
• Tracelet Hopf algebras and decomposition spaces (extended abstract)
• Pregeometric spaces from Wolfram model rewriting systems as homotopy types
• scientific article; zbMATH DE number 7456054 (Why is no real title available?)

Describes a project that uses

Uses Software

• OEIS

This page was built for publication: Rule algebras for adhesive categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5079733)