Pages that link to "Item:Q631570"
From MaRDI portal
The following pages link to How to delete categorically -- two pushout complement constructions (Q631570):
Displaying 5 items.
- Concurrency theorems for non-linear rewriting theories (Q2117255) (← 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)
