Pages that link to "Item:Q1996870"
From MaRDI portal
The following pages link to Synthesis of sorting algorithms using multisets in \textit{Theorema} (Q1996870):
Displaying 6 items.
- Synthesis of list algorithms by mechanical proving (Q485837) (← links)
- Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques (Q1640636) (← links)
- Reflections on and of minor-closed classes of multisorted operations (Q1991603) (← links)
- \textit{AlCons}: deductive synthesis of sorting algorithms in \textit{Theorema} (Q2119984) (← links)
- A theoretical look at \textsc{Electre Tri}-nB and related sorting models (Q2688878) (← links)
- Sorting multisets stably in minimum space (Q5056159) (← links)
