AVL trees

MaRDI QIDQ40288swMATHFDO

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
• FinFuns
• Splay Tree
• Matroids

This page was built for software: AVL trees