Pages that link to "Item:Q2947210"
From MaRDI portal
The following pages link to Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings (Q2947210):
Displaying 6 items.
- Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings (Q2947210) (← links)
- Termination of Cycle Rewriting by Transformation and Matrix Interpretation (Q2980975) (← links)
- (Q5015375) (← links)
- A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java (Q5100741) (← links)
- Termination of graph transformation systems using weighted subgraph counting (Q6535508) (← links)
- From linear term rewriting to graph rewriting with preservation of termination (Q6649533) (← links)
