Remarks on A synthesis of several sorting algorithms
From MaRDI portal
Publication:1259168
DOI10.1007/BF00288643zbMath0409.68037OpenAlexW1981034844MaRDI QIDQ1259168
Publication date: 1980
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00288643
Related Items (4)
\textit{AlCons}: deductive synthesis of sorting algorithms in \textit{Theorema} ⋮ Synthesis of list algorithms by mechanical proving ⋮ Synthesis of sorting algorithms using multisets in \textit{Theorema} ⋮ On synthesis of scheduling algorithms
Cites Work
This page was built for publication: Remarks on A synthesis of several sorting algorithms
