Treaps

MaRDI QIDQ40356swMATHFDO

Authors Max W. Haslbeck, Manuel Eberl, Tobias Nipkow

Publication date 6 February 2018

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

Cites work

• Randomized search trees
• Verified analysis of random binary tree structures

Cited in

(13)

• Verified tail bounds for randomized programs
• Ergodic theory
• AVL trees
• Amortized Complexity
• QuickSort Cost
• Root Balanced Tree
• Random BSTs
• Density Compiler
• Monad normalisation
• Probabilistic_Prime_Tests
• Verified analysis of random binary tree structures
• Verified analysis of random binary tree structures
• Matroids

This page was built for software: Treaps