scientific article; zbMATH DE number 7453090

MaRDI QIDQ5020539

Christian Sandmann, Annegret Habel

Publication date: 6 January 2022

Full work available at URL: https://arxiv.org/abs/1912.09610

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items

Graph Consistency as a Graduated Property, Unnamed Item

Cites Work

• Unnamed Item
• Algebraic approach to single-pushout graph transformation
• Deriving graphs from graphs by applying a production
• Fundamentals of algebraic graph transformation
• Graph and model transformation. General framework and applications
• Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations
• Development of Correct Graph Transformation Systems
• Parallelism and concurrency in high-level replacement systems
• Change-Preserving Model Repair
• Specification of graph translators with triple graph grammars