From: Lawrence Paulson <lp15@cam.ac.uk>
"This theory implements priority queues via Braun trees. Insertion and deletion take logarithmic time and preserve the balanced nature of Braun trees.”
Many thanks to Tobias Nipkow for this entry!
Larry Paulson
Last updated: May 06 2024 at 16:21 UTC