The following pages link to A systematic analysis of splaying (Q1209317):
Displaying 6 items.
- Amortized complexity verified (Q670702) (← links)
- ATLAS: automated amortised complexity analysis of self-adjusting data structures (Q832253) (← links)
- Amortized Complexity Verified (Q2945642) (← links)
- Generalized Template Splay: A Basic Theory and Calculus (Q4828443) (← links)
- Type-based analysis of logarithmic amortised complexity (Q5875895) (← links)
- Automated Expected Amortised Cost Analysis of Probabilistic Data Structures (Q6487331) (← links)