Pairing Heap

MaRDI QIDQ7361590FDO

Authors Hauke Brinkop, Tobias Nipkow

Publication date 14 July 2016

Cites work

• The pairing heap: A new form of self-adjusting heap

Cited in

(2)

• Amortized Complexity Verified
• A Verified Code Generator from Isabelle/HOL to CakeML

This page was built for software: Pairing Heap