The following pages link to Hereditary Pushouts Reconsidered (Q4931319):
Displaying 13 items.
- Single pushout rewriting in comprehensive systems of graph-like structures (Q2049985) (← links)
- Comprehensive systems: a formal foundation for multi-model consistency management (Q2065549) (← links)
- Concurrency theorems for non-linear rewriting theories (Q2117255) (← links)
- Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs (Q2192461) (← links)
- Polymorphic Sesqui-Pushout Graph Rewriting (Q2947207) (← links)
- Rule Algebras for Adhesive Categories (Q3300790) (← links)
- Single Pushout Rewriting in Comprehensive Systems (Q5100728) (← links)
- Processes and unfoldings: concurrent computations in adhesive categories (Q5740371) (← links)
- Finitary -adhesive categories (Q5740372) (← links)
- -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation (Q5740375) (← links)
- Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions (Q5740378) (← links)
- Fundamentals of compositional rewriting theory (Q6052944) (← links)
- Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes (Q6156939) (← links)
