The following pages link to (Q3486869):
Displaying 11 items.
- Locating the contractum in the double pushout approach (Q672236) (← links)
- Algebraic approach to single-pushout graph transformation (Q685460) (← links)
- Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming (Q685465) (← links)
- The generative power of delegation networks (Q897662) (← links)
- The equivalence of bottom-up and top-down tree-to-graph transducers (Q1271618) (← links)
- Term graph rewriting and garbage collection using opfibrations (Q1331928) (← links)
- The translation power of top-down tree-to-graph transducers (Q1337465) (← links)
- Drags: a compositional algebraic framework for graph rewriting (Q2422028) (← links)
- Graph transformation for incremental natural language analysis (Q2441777) (← links)
- Unification of drags and confluence of drag rewriting (Q2683036) (← links)
- Modeling Pointer Redirection as Cyclic Term-graph Rewriting (Q2867899) (← links)