Reasoning with graph constraints
From MaRDI portal
Publication:973044
DOI10.1007/s00165-009-0116-9zbMath1209.68381OpenAlexW2027274718MaRDI QIDQ973044
Hartmut Ehrig, Ulrike Prange, Fernando Orejas
Publication date: 28 May 2010
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-009-0116-9
Related Items (4)
Satisfiability of Constraint Specifications on XML Documents ⋮ Interactive and automated proofs for graph transformations ⋮ A formal approach to the specification and transformation of constraints in MDE ⋮ A navigational logic for reasoning about graph properties
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Graph transformations. 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7--13, 2008. Proceedings
- Graph-based specification of access control policies
- Fundamentals of algebraic graph transformation
- Resolution-Like Theorem Proving for High-Level Conditions
- Pattern-Based Model-to-Model Transformation
- Conflict Detection for Graph Transformation with Negative Application Conditions
- Satisfiability of High-Level Conditions
- A Temporal Graph Logic for Verification of Graph Transformation Systems
- Correctness of high-level transformation systems relative to nested conditions
- Handbook of Graph Grammars and Computing by Graph Transformation
- Graph Transformations
- Foundations of Software Science and Computation Structures
- A Logic of Graph Constraints
This page was built for publication: Reasoning with graph constraints
