Hereditary Pushouts Reconsidered
From MaRDI portal
Publication:4931319
DOI10.1007/978-3-642-15928-2_17zbMath1306.68073OpenAlexW1538529531MaRDI QIDQ4931319
Publication date: 4 October 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-15928-2_17
Grammars and rewriting systems (68Q42) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Categories of machines, automata (18B20)
Related Items (13)
Polymorphic Sesqui-Pushout Graph Rewriting ⋮ Single Pushout Rewriting in Comprehensive Systems ⋮ Fundamentals of compositional rewriting theory ⋮ Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs ⋮ Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes ⋮ Processes and unfoldings: concurrent computations in adhesive categories ⋮ Finitary -adhesive categories ⋮ -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation ⋮ Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions ⋮ Single pushout rewriting in comprehensive systems of graph-like structures ⋮ Comprehensive systems: a formal foundation for multi-model consistency management ⋮ Rule Algebras for Adhesive Categories ⋮ Concurrency theorems for non-linear rewriting theories
This page was built for publication: Hereditary Pushouts Reconsidered
