Pages that link to "Item:Q1134513"
From MaRDI portal
The following pages link to Computation on graph-like expressions (Q1134513):
Displaying 11 items.
- Structure sharing for quantified terms: Fundamentals (Q911773) (← links)
- On ``On graph rewritings'' (Q1098284) (← links)
- Optimal evaluations of graph-like expressions (Q1136217) (← links)
- Speeding up subtree replacement systems (Q1142046) (← links)
- Term graph rewriting and garbage collection using opfibrations (Q1331928) (← links)
- Bisimilarity in term graph rewriting. (Q1854321) (← links)
- Annual Meeting of the Association for Symbolic Logic, Los Angeles, 1989 (Q3478380) (← links)
- Implementing term rewriting by jungle evaluation (Q3486867) (← links)
- Transformations of structures: An algebraic approach (Q3953162) (← links)
- Rewriting on cyclic structures: Equivalence between the operational and the categorical description (Q4943554) (← links)
- Redex capturing in term graph rewriting (concise version) (Q5055745) (← links)
