The following pages link to (Q3416077):
Displayed 11 items.
- Consistent integration of models based on views of meta models (Q973049) (← links)
- On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems (Q2011208) (← links)
- Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality (Q2049986) (← links)
- Schema compliant consistency management via triple graph grammars and integer linear programming (Q2065551) (← links)
- Moment Semantics for Reversible Rule-Based Systems (Q2822487) (← links)
- Explicit State Model Checking for Graph Grammars (Q3507360) (← links)
- High-Level Programs and Program Conditions (Q3540400) (← links)
- Resolution-Like Theorem Proving for High-Level Conditions (Q3540406) (← links)
- Development of Correct Graph Transformation Systems (Q3540429) (← links)
- Initial Conflicts for Transformation Rules with Nested Application Conditions (Q5100729) (← links)
- An Algorithm for Approximating the Satisfiability Problem of High-level Conditions (Q5403460) (← links)