Graph Transformations
From MaRDI portal
Publication:5292605
DOI10.1007/b100934zbMath1116.03303OpenAlexW4214712303MaRDI QIDQ5292605
Publication date: 21 June 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100934
Graph theory (including graph drawing) in computer science (68R10) Classical first-order logic (03B10) Grammars and rewriting systems (68Q42)
Related Items
Presenting basic graph logic ⋮ Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations ⋮ Constructing constraint-preserving interaction schemes in adhesive categories ⋮ Specifying graph languages with type graphs ⋮ Explicit State Model Checking for Graph Grammars ⋮ Symbolic graphs for attributed graph constraints ⋮ A formal approach to the specification and transformation of constraints in MDE ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Attributed Graph Constraints ⋮ A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation ⋮ An Algorithm for Approximating the Satisfiability Problem of High-level Conditions ⋮ A navigational logic for reasoning about graph properties ⋮ Deriving Bisimulation Congruences in the Presence of Negative Application Conditions ⋮ A Logic of Graph Constraints ⋮ Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality ⋮ Constructing optimized constraint-preserving application conditions for model transformation rules
This page was built for publication: Graph Transformations