Compositionality of Rewriting Rules with Conditions
From MaRDI portal
Publication:5087656
DOI10.32408/compositionality-3-2zbMath1490.68124arXiv1904.09322OpenAlexW2938952696MaRDI QIDQ5087656
Publication date: 1 July 2022
Published in: Compositionality (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1904.09322
Grammars and rewriting systems (68Q42) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Extensive, distributive, and adhesive categories (18B50)
Related Items
Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics, Fundamentals of compositional rewriting theory, Unnamed Item, Rewriting theory for the life sciences: a unifying theory of CTMC semantics, Concurrency theorems for non-linear rewriting theories