Hereditary pushouts reconsidered
From MaRDI portal
Publication:4931319
DOI10.1007/978-3-642-15928-2_17zbMATH Open1306.68073OpenAlexW1538529531MaRDI QIDQ4931319FDOQ4931319
Authors: 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
Recommendations
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)
Cited In (16)
- -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
- Fundamentals of compositional rewriting theory
- Analysis of permutation equivalence in \(\mathcal{M}\)-adhesive transformation systems with negative application conditions
- Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs
- Concurrency theorems for non-linear rewriting theories
- Partial pushout semantics of generics in DOL
- Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes
- Title not available (Why is that?)
- Single pushout rewriting in comprehensive systems
- Single pushout rewriting in comprehensive systems of graph-like structures
- Processes and unfoldings: concurrent computations in adhesive categories
- On pushouts of partial maps
- Comprehensive systems: a formal foundation for multi-model consistency management
- Finitary \(\mathcal{M}\)-adhesive categories
- Rule algebras for adhesive categories
- Polymorphic sesqui-pushout graph rewriting
This page was built for publication: Hereditary pushouts reconsidered
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4931319)
