Pages that link to "Item:Q3540390"
From MaRDI portal
The following pages link to Inductively Sequential Term-Graph Rewrite Systems (Q3540390):
Displayed 9 items.
- Programming with narrowing: a tutorial (Q968524) (← links)
- Algebraic graph rewriting with controlled embedding (Q2007726) (← links)
- Parallel rewriting of attributed graphs (Q2215963) (← links)
- Parallel coherent graph transformations (Q2237338) (← links)
- AGREE – Algebraic Graph Rewriting with Controlled Embedding (Q2947209) (← links)
- Ensuring Correctness of Model Transformations While Remaining Decidable (Q3179408) (← links)
- A Heterogeneous Pushout Approach to Term-Graph Transformation (Q3636827) (← links)
- Compiling Collapsing Rules in Certain Constructor Systems (Q5743585) (← links)
- A strict constrained superposition calculus for graphs (Q6091185) (← links)