Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques
From MaRDI portal
Publication:1640636
DOI10.1016/j.jsc.2018.04.002zbMath1395.68246MaRDI QIDQ1640636
Sorin Stratulat, Isabela Drămnesc, Tudor Jebelean
Publication date: 14 June 2018
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jsc.2018.04.002
68P10: Searching and sorting
Uses Software