Symbolic graphs for attributed graph constraints
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 5604108 (Why is no real title available?)
- scientific article; zbMATH DE number 3988733 (Why is no real title available?)
- scientific article; zbMATH DE number 919847 (Why is no real title available?)
- A Logic of Graph Constraints
- Adhesive and quasiadhesive categories
- Attributed Graph Constraints
- Correctness of high-level transformation systems relative to nested conditions
- Delaying Constraint Solving in Symbolic Graph Transformation
- Fundamental theory for typed attributed graphs and graph transformation based on adhesive HLR categories
- Fundamentals of algebraic graph transformation
- Graph Transformations
- Graph-based specification of access control policies
- Pattern-Based Model-to-Model Transformation
- Resolution-Like Theorem Proving for High-Level Conditions
Cited in
(24)- Translating essential OCL invariants to nested graph constraints focusing on set operations
- Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic
- Satisfiability of Constraint Specifications on XML Documents
- Towards attributed graphs in Groove (work in progress)
- Compositional analysis of probabilistic timed graph transformation systems
- Compositional analysis of probabilistic timed graph transformation systems
- Reasoning with graph constraints
- Interval probabilistic timed graph transformation systems
- A structural approach to graph transformation based on symmetric Petri nets
- A logical approach to graph databases
- Attribute handling for generating preconditions from graph constraints
- Attributed Graph Constraints
- Delaying Constraint Solving in Symbolic Graph Transformation
- Optimistic and pessimistic on-the-fly analysis for metric temporal graph logic
- Formal verification of invariants for attributed graph transformation systems based on nested attributed graph conditions
- Probabilistic Metric Temporal Graph Logic
- On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
- Well-structured graph transformation systems
- Unfolding Symbolic Attributed Graph Grammars
- Graph attribution through sub-graphs
- A reasoning system for satisfiability of diagrammatic specifications
- Theorem proving graph grammars with attributes and negative application conditions
- Lazy graph transformation
- A navigational logic for reasoning about graph properties
This page was built for publication: Symbolic graphs for attributed graph constraints
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q631573)
