Pages that link to "Item:Q631570"
From MaRDI portal
The following pages link to How to delete categorically -- two pushout complement constructions (Q631570):
Displaying 10 items.
- Pushout-complements and basic concepts of grammars in toposes (Q757576) (← links)
- Single pushout rewriting in comprehensive systems of graph-like structures (Q2049985) (← links)
- Partial pullback complement rewriting along admissible matches (Q2055979) (← links)
- Concurrency theorems for non-linear rewriting theories (Q2117255) (← links)
- Partial pullback complement rewriting (Q2355683) (← links)
- A Software Package for Chemically Inspired Graph Transformation (Q3187804) (← links)
- Finitary -adhesive categories (Q5740372) (← links)
- Fundamentals of compositional rewriting theory (Q6052944) (← links)
- Computational category-theoretic rewriting (Q6113023) (← links)
- Computational Category-Theoretic Rewriting (Q6487309) (← links)