Splay Tree

MaRDI QIDQ40242swMATHFDO

Authors Tobias Nipkow

Publication date 12 August 2014

Official website https://www.isa-afp.org/entries/Splay_Tree.html

Cites work

• Automatic functional correctness proofs for functional search trees
• Self-adjusting binary search trees

Cited in

(7)

• Automatic functional correctness proofs for functional search trees
• ACE
• PairingHeap
• Skew Heap
• AVL trees
• Amortized Complexity
• Amortized complexity verified

This page was built for software: Splay Tree