Splay Tree

MaRDI QIDQ7361860FDO

Authors Tobias Nipkow

Publication date 12 August 2014

Cites work

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

Cited in

(1)

• Amortized Complexity Verified

This page was built for software: Splay Tree