Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality (Q2049986)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality |
scientific article; zbMATH DE number 7387698
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality |
scientific article; zbMATH DE number 7387698 |
Statements
Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality (English)
0 references
27 August 2021
0 references
graph transformation
0 references
critical pairs
0 references
initial conflicts
0 references
application conditions
0 references
0 references
0 references
0 references
