Pages that link to "Item:Q1996870"

The following pages link to Synthesis of sorting algorithms using multisets in \textit{Theorema} (Q1996870):

Displaying 1 item.

• \textit{AlCons}: deductive synthesis of sorting algorithms in \textit{Theorema} (Q2119984) (← links)