Pages that link to "Item:Q685465"
From MaRDI portal
The following pages link to Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming (Q685465):
Displaying 6 items.
- Towards ``mouldable code'' via nested code graph transformation (Q406453) (← links)
- Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming (Q685465) (← links)
- The generative power of delegation networks (Q897662) (← links)
- A flexible categorial formalisation of term graphs as directed hypergraphs (Q2185888) (← links)
- Modeling Pointer Redirection as Cyclic Term-graph Rewriting (Q2867899) (← links)
- Rewriting on cyclic structures: Equivalence between the operational and the categorical description (Q4943554) (← links)
