The following pages link to (Q5021230):
Displaying 4 items.
- Concurrency theorems for non-linear rewriting theories (Q2117255) (← links)
- Fundamentals of compositional rewriting theory (Q6052944) (← links)
- A simple criterion for \(\mathcal{M}, \mathcal{N}\)-adhesivity (Q6199404) (← links)
- Stochastic graph transformation for social network modeling (Q6649535) (← links)
