Compositionality of Rewriting Rules with Conditions

DOI10.32408/compositionality-3-2zbMath1490.68124arXiv1904.09322OpenAlexW2938952696MaRDI QIDQ5087656

Nicolas Behr, Jean Krivine

Publication date: 1 July 2022

Published in: Compositionality (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1904.09322

Mathematics Subject Classification ID

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