Login / Signup

Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques.

Isabela DramnescTudor JebeleanSorin Stratulat
Published in: J. Symb. Comput. (2019)
Keyphrases
  • binary trees
  • sorting algorithms
  • data structures and algorithms
  • series parallel
  • leaf nodes
  • multiresolution
  • hash tables