Pages that link to "Item:Q516038"
From MaRDI portal
The following pages link to From imperative to rule-based graph programs (Q516038):
Displaying 8 items.
- Verifying graph programs with monadic second-order logic (Q2117269) (← links)
- Parallel rewriting of attributed graphs (Q2215963) (← links)
- (Q4502807) (← links)
- (Q5021227) (← links)
- Graph Transformations (Q5292591) (← links)
- (Q5875357) (← links)
- Evolving graphs with semantic neutral drift (Q6095481) (← links)
- A small-step operational semantics for GP 2 (Q6649538) (← links)