Pages that link to "Item:Q5208506"
From MaRDI portal
The following pages link to Towards Critical Pair Analysis for the Graph Programming Language GP 2 (Q5208506):
Displaying 5 items.
- Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach (Q1734517) (← links)
- Unranked fuzzy logic and reasoning (Q2086405) (← links)
- Theorem proving graph grammars with attributes and negative application conditions (Q2358623) (← links)
- Unification of drags and confluence of drag rewriting (Q2683036) (← links)
- (Q5875357) (← links)