AVL trees

MaRDI QIDQ40288swMATHFDO

Authors Tobias Nipkow, Cornelia Pusch

Publication date 19 March 2004

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

Cited in

(5)

• Automatic functional correctness proofs for functional search trees
• Formalising FinFuns – Generating Code for Functions as Data from Isabelle/HOL
• Splay Tree
• FinFuns
• Matroids

This page was built for software: AVL trees