Pages that link to "Item:Q5308094"
From MaRDI portal
The following pages link to A rewriting calculus for cyclic higher-order term graphs (Q5308094):
Displayed 4 items.
- Twenty years of rewriting logic (Q1931904) (← links)
- Towards a Sharing Strategy for the Graph Rewriting Calculus (Q2873680) (← links)
- Sharing in the Graph Rewriting Calculus (Q2890320) (← links)
- Nominal Unification and Matching of Higher Order Expressions with Recursive Let (Q5075515) (← links)