Pages that link to "Item:Q5014671"

The following pages link to Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema (Q5014671):

Displayed 3 items.

• Generalized mapping for multiset rewriting systems (Q2100284) ‎ (← links)
• \textit{AlCons}: deductive synthesis of sorting algorithms in \textit{Theorema} (Q2119984) ‎ (← links)
• Experiments with automated reasoning in the class (Q6102980) ‎ (← links)