scientific article
From MaRDI portal
Publication:3416077
zbMath1106.68054MaRDI QIDQ3416077
Hartmut Ehrig, Karl-Heinz Pennemann, Karsten Ehrig, Annegret Habel
Publication date: 19 January 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
graphsconstraintsgraph transformationadhesive HLR categoriesapplication conditionshigh-level structures
Related Items
Initial Conflicts for Transformation Rules with Nested Application Conditions ⋮ Explicit State Model Checking for Graph Grammars ⋮ High-Level Programs and Program Conditions ⋮ Resolution-Like Theorem Proving for High-Level Conditions ⋮ Development of Correct Graph Transformation Systems ⋮ An Algorithm for Approximating the Satisfiability Problem of High-level Conditions ⋮ Consistent integration of models based on views of meta models ⋮ On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems ⋮ Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality ⋮ Moment Semantics for Reversible Rule-Based Systems ⋮ Schema compliant consistency management via triple graph grammars and integer linear programming
This page was built for publication: