Pages that link to "Item:Q1575875"
From MaRDI portal
The following pages link to A general theory of sharing graphs (Q1575875):
Displaying 12 items.
- Light logics and optimal reduction: completeness and complexity (Q627123) (← links)
- Resource operators for \(\lambda\)-calculus (Q876041) (← links)
- Coherence for sharing proof-nets (Q1398472) (← links)
- Proof nets, garbage, and computations (Q1589650) (← links)
- Maximal sharing in the lambda calculus with letrec (Q2819667) (← links)
- An abstract concept of optimal implementation (Q2844072) (← links)
- Sharing implementations of graph rewriting systems (Q2848122) (← links)
- The ramifications of sharing in data structures (Q2931837) (← links)
- Is the Optimal Implementation Inefficient? Elementarily Not (Q5111313) (← links)
- (Q5111898) (← links)
- A Characterization of Undirected Graphs Admitting Optimal Cost Shares (Q5238743) (← links)
- Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) (Q6076174) (← links)