Rule algebras for adhesive categories

DOI10.4230/LIPICS.CSL.2018.11MaRDI QIDQ5079733FDOQ5079733

Authors: Nicolas Behr, Paweł Sobociński 

Publication date: 28 May 2022

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

zbMATH Keywords

adhesive categoriesdouble pushout (DPO) rewritingrule algebras

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cited In (9)

• Pregeometric spaces from Wolfram model rewriting systems as homotopy types
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Rewriting theory for the life sciences: a unifying theory of CTMC semantics
• A lattice-theoretical perspective on adhesive categories
• Tracelet Hopf algebras and decomposition spaces (extended abstract)
• Rule algebras for adhesive categories

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)