Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality (Q2049986)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality |
scientific article |
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
