Balanced trees with removals: an exercise in rewriting and proof

Reade, C.M.P. (1992) Balanced trees with removals: an exercise in rewriting and proof. Science of Computer Programming, 18(2), pp. 181-204. ISSN (print) 0167-6423

Actions (Repository Editors)

Item Control Page Item Control Page