The following pages link to Graph Transformations (Q5292603):
Displaying 13 items.
- Attributed graph transformation with node type inheritance (Q882448) (← links)
- Reasoning with graph constraints (Q973044) (← links)
- Investigating the existence and the regularity of logarithmic Harary graphs (Q1019190) (← links)
- Embedding and Confluence of Graph Transformations with Negative Application Conditions (Q3540396) (← links)
- Attributed Graph Constraints (Q3540405) (← links)
- Development of Correct Graph Transformation Systems (Q3540429) (← links)
- (Q5020535) (← links)
- Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs (Q5404172) (← links)
- Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars (Q5404177) (← links)
- A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams (Q5404182) (← links)
- A Logic of Graph Constraints (Q5460000) (← links)
- Formal Methods in Software and Systems Modeling (Q5710414) (← links)
- A rule-based procedure for graph query solving (Q6535512) (← links)