Pages that link to "Item:Q2117255"
From MaRDI portal
The following pages link to Concurrency theorems for non-linear rewriting theories (Q2117255):
Displaying 4 items.
- A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications (Q2096426) (← links)
- Fundamentals of compositional rewriting theory (Q6052944) (← links)
- Computational category-theoretic rewriting (Q6113023) (← links)
- Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes (Q6156939) (← links)
