Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs (Q418014): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68Q42 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 18B99 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68Q65 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68R10 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 6034864 / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
typed attributed graph transformation | |||
| Property / zbMATH Keywords: typed attributed graph transformation / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
critical pair analysis | |||
| Property / zbMATH Keywords: critical pair analysis / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
inheritance | |||
| Property / zbMATH Keywords: inheritance / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
\(M\)-adhesive category with NACs | |||
| Property / zbMATH Keywords: \(M\)-adhesive category with NACs / rank | |||
Normal rank | |||
Revision as of 20:02, 29 June 2023
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs |
scientific article |
Statements
Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs (English)
0 references
14 May 2012
0 references
typed attributed graph transformation
0 references
critical pair analysis
0 references
inheritance
0 references
\(M\)-adhesive category with NACs
0 references
