No label defined (Q5021217)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7456048

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7456048

Statements

scholarly article

0 references

Christian Sandmann

0 references

publication date

12 January 2022

0 references

full work available at URL

https://arxiv.org/abs/2012.01656

0 references

http://eptcs.web.cse.unsw.edu.au/paper.cgi?GCM2020.2

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

MaRDI profile type

MaRDI publication profile

0 references

Fundamentals of algebraic graph transformation

0 references

-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation

0 references

0 references

Correctness of high-level transformation systems relative to nested conditions

0 references

Graph Consistency as a Graduated Property

0 references

Algebraic approach to single-pushout graph transformation

0 references

Constructing optimized constraint-preserving application conditions for model transformation rules

0 references

Delaying Constraint Solving in Symbolic Graph Transformation

0 references

Development of Correct Graph Transformation Systems

0 references

0 references

A logic-based incremental approach to graph repair

0 references

Change-Preserving Model Repair

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5021217

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5021217&oldid=36756357"