Hereditary Pushouts Reconsidered

DOI10.1007/978-3-642-15928-2_17zbMath1306.68073OpenAlexW1538529531MaRDI QIDQ4931319

Tobias Heindel

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

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) 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