Synthesis of Merging algorithms on binary trees using multisets in Theorema.

Isabela Dramnesc, Tudor Jebelean

Browse the full SACI paper archive.