Pages that link to "Item:Q5714035"
From MaRDI portal
The following pages link to Diagrammatic Representation and Inference (Q5714035):
Displayed 4 items.
- Termination Criteria for DPO Transformations with Injective Matches (Q2867892) (← links)
- Combining Graph Transformation and Algebraic Specification into Model Transformation (Q2890331) (← links)
- Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs (Q5404172) (← links)
- Graph Transformation Semantics for a QVT Language (Q5404176) (← links)