Pages that link to "Item:Q3486867"
From MaRDI portal
The following pages link to Implementing term rewriting by jungle evaluation (Q3486867):
Displayed 4 items.
- Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming (Q685465) (← links)
- Bisimilarity in term graph rewriting. (Q1854321) (← links)
- Term-Graph Rewriting Via Explicit Paths (Q3522007) (← links)
- Rewriting on cyclic structures: Equivalence between the operational and the categorical description (Q4943554) (← links)