Pages that link to "Item:Q4931318"
From MaRDI portal
The following pages link to Finitary $\mathcal{M}$ -Adhesive Categories (Q4931318):
Displaying 10 items.
- Concurrency theorems for non-linear rewriting theories (Q2117255) (← links)
- Transformations of reaction systems over categories by means of epi-mono factorization and functors (Q2117257) (← links)
- Rule Algebras for Adhesive Categories (Q3300790) (← links)
- (Q5020536) (← links)
- (Q5020951) (← links)
- (Q5021221) (← links)
- Processes and unfoldings: concurrent computations in adhesive categories (Q5740371) (← links)
- Finitary -adhesive categories (Q5740372) (← links)
- Combining termination proofs in model transformation systems (Q5740376) (← links)
- Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions (Q5740378) (← links)
