Login / Signup
Synthesis of Merging algorithms on binary trees using multisets in Theorema.
Isabela Dramnesc
Tudor Jebelean
Published in:
SACI (2021)
Keyphrases
</>
binary trees
data structure
approximation algorithms
space complexity