Splay Tree

swMATH28528MaRDI QIDQ40242FDOQ40242

Author name not available (Why is that?)

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

Cited In (7)

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

This page was built for software: Splay Tree