Cite
HARVARD Citation
Drămnesc, I. et al. (2018). Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques. Journal of symbolic computation. pp. 3-41. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Drămnesc, I. et al. (2018). Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques. Journal of symbolic computation. pp. 3-41. [Online].