Graph Transformations
From MaRDI portal
Publication:5292603
DOI10.1007/b100934zbMath1116.68479OpenAlexW4214712303MaRDI QIDQ5292603
Karl-Heinz Pennemann, Karsten Ehrig, Hartmut Ehrig, Annegret Habel
Publication date: 21 June 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100934
Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42)
Related Items (11)
Attributed graph transformation with node type inheritance ⋮ Unnamed Item ⋮ Embedding and Confluence of Graph Transformations with Negative Application Conditions ⋮ Attributed Graph Constraints ⋮ Development of Correct Graph Transformation Systems ⋮ Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs ⋮ Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars ⋮ A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams ⋮ Reasoning with graph constraints ⋮ A Logic of Graph Constraints ⋮ Investigating the existence and the regularity of logarithmic Harary graphs
This page was built for publication: Graph Transformations
