Pages that link to "Item:Q3300790"
From MaRDI portal
The following pages link to Rule Algebras for Adhesive Categories (Q3300790):
Displaying 9 items.
- Rewriting theory for the life sciences: a unifying theory of CTMC semantics (Q2049987) (← links)
- A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications (Q2096426) (← links)
- Concurrency theorems for non-linear rewriting theories (Q2117255) (← links)
- A generalized concurrent rule construction for double-pushout rewriting (Q2117256) (← links)
- (Q5021224) (← links)
- (Q5021230) (← links)
- Recent developments in combinatorial aspects of normal ordering (Q5056207) (← links)
- Fundamentals of compositional rewriting theory (Q6052944) (← links)
- A simple criterion for \(\mathcal{M}, \mathcal{N}\)-adhesivity (Q6199404) (← links)
