Login / Signup

Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema.

Isabela DramnescTudor Jebelean
Published in: MACIS (2019)
Keyphrases
  • binary trees
  • search algorithm
  • search space
  • search methods
  • graph theory