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 10 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)
- (Q5018495) (← links)
- Term rewriting in CTΣ (Q5044755) (← links)
- Jungle rewriting: An abstract description of a lazy narrowing machine (Q5096278) (← links)
- Critical pairs in term graph rewriting (Q5096914) (← links)
