Pages that link to "Item:Q2918983"
From MaRDI portal
The following pages link to $\mathcal M, \mathcal N$ -Adhesive Transformation Systems (Q2918983):
Displaying 10 items.
- On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems (Q2011208) (← links)
- Confluence up to garbage in graph transformation (Q2049983) (← links)
- Rewriting theory for the life sciences: a unifying theory of CTMC semantics (Q2049987) (← links)
- Monadic second-order incorrectness logic for GP 2 (Q2096431) (← links)
- Graph rewriting and relabeling with PBPO\textsuperscript{+} (Q2117259) (← links)
- (Q5018495) (← links)
- Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics (Q5100733) (← links)
- Fundamentals of compositional rewriting theory (Q6052944) (← links)
- Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes (Q6156939) (← links)
- A simple criterion for \(\mathcal{M}, \mathcal{N}\)-adhesivity (Q6199404) (← links)