Pages that link to "Item:Q2117255"
From MaRDI portal
The following pages link to Concurrency theorems for non-linear rewriting theories (Q2117255):
Displaying 7 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)
- Termination of graph transformation systems using weighted subgraph counting (Q6535508) (← links)
- Fuzzy presheaves are quasitoposes (Q6535509) (← links)
- A living monograph for graph transformation (Q6535522) (← links)
