Amortized Complexity Verified

MaRDI QIDQ7361397FDO

Authors Tobias Nipkow

Publication date 7 July 2014

Cites work

• A systematic analysis of splaying
• Amortized complexity verified
• Unnamed Publication
• Self-adjusting binary search trees
• Self-Adjusting Heaps
• The derivation of a tighter bound for top-down skew heaps
• The pairing heap: A new form of self-adjusting heap

Cited in

(2)

• Parameterized Dynamic Tables
• Root-Balanced Tree

This page was built for software: Amortized Complexity Verified