AVL trees (Q40288)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry AVL-Trees
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | AVL trees |
AFP entry AVL-Trees |
Statements
Tobias Nipkow
0 references
Cornelia Pusch
0 references
Two formalizations of AVL trees with room for extensions. The first formalization is monolithic and shorter, the second one in two stages, longer and a bit simpler. The final implementation is the same. If you are interested in developing this further, please contact gerwin.klein@nicta.com.au .
0 references
19 March 2004
0 references
AVL Trees (English)
0 references
