1. Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques. (January 2019) Authors: Drămnesc, Isabela; Jebelean, Tudor; Stratulat, Sorin Journal: Journal of symbolic computation Issue: Volume 90(2018) Page Start: 3 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗