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
Official URL: http://dx.doi.org/10.1016/0167-6423(92)90009-Z
Actions (Repository Editors)
 |
Item Control Page |