Balanced trees with removals: an exercise in rewriting and proof

C.M.P. Reade

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	181-204
Journal	Science of Computer Programming
Volume	18
Issue number	2
DOIs	https://doi.org/10.1016/0167-6423(92)90009-Z
Publication status	Published - Apr 1992
Externally published	Yes

Keywords

@article{0e57221fdbf448a4b7d42e4b7de79206,

title = "Balanced trees with removals: an exercise in rewriting and proof",

keywords = "Functional programming, Computer science and informatics",

author = "C.M.P. Reade",

year = "1992",

month = apr,

doi = "10.1016/0167-6423(92)90009-Z",

language = "English",

volume = "18",

pages = "181--204",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier B.V.",

number = "2",

}

TY - JOUR

T1 - Balanced trees with removals

T2 - an exercise in rewriting and proof

AU - Reade, C.M.P.

PY - 1992/4

Y1 - 1992/4

KW - Functional programming

KW - Computer science and informatics

U2 - 10.1016/0167-6423(92)90009-Z

DO - 10.1016/0167-6423(92)90009-Z

M3 - Article

SN - 0167-6423

VL - 18

SP - 181

EP - 204

JO - Science of Computer Programming

JF - Science of Computer Programming

IS - 2

ER -