Pages that link to "Item:Q5740378"
From MaRDI portal
The following pages link to Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions (Q5740378):
Displaying 4 items.
- Algebraic graph rewriting with controlled embedding (Q2007726) (← links)
- Theorem proving graph grammars with attributes and negative application conditions (Q2358623) (← links)
- Parallelism in AGREE Transformations (Q3187802) (← links)
- -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation (Q5740375) (← links)