Pages that link to "Item:Q2947207"
From MaRDI portal
The following pages link to Polymorphic Sesqui-Pushout Graph Rewriting (Q2947207):
Displaying 9 items.
- 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)
- (Q2736360) (← links)
- Polymorphic Sesqui-Pushout Graph Rewriting (Q2947207) (← links)
- Sesqui-Pushout Rewriting with Type Refinements (Q3187801) (← links)
- (Q5020536) (← links)
- (Q5021225) (← links)
- Fundamentals of compositional rewriting theory (Q6052944) (← links)