scientific article; zbMATH DE number 7456048
From MaRDI portal
Publication:5021217
Publication date: 12 January 2022
Full work available at URL: https://arxiv.org/abs/2012.01656
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Unnamed Item
- Unnamed Item
- Algebraic approach to single-pushout graph transformation
- Constructing optimized constraint-preserving application conditions for model transformation rules
- Fundamentals of algebraic graph transformation
- Development of Correct Graph Transformation Systems
- Correctness of high-level transformation systems relative to nested conditions
- Delaying Constraint Solving in Symbolic Graph Transformation
- Graph Consistency as a Graduated Property
- Change-Preserving Model Repair
- -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
- A logic-based incremental approach to graph repair
This page was built for publication:
