![](/img/cover-not-exists.png)
Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques
Drămnesc, Isabela, Jebelean, Tudor, Stratulat, SorinVolume:
90
Language:
english
Journal:
Journal of Symbolic Computation
DOI:
10.1016/j.jsc.2018.04.002
Date:
January, 2019
File:
PDF, 757 KB
english, 2019