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):

Displaying 2 items.

• Generalized mapping for multiset rewriting systems (Q2100284) (← links)
• \textit{AlCons}: deductive synthesis of sorting algorithms in \textit{Theorema} (Q2119984) (← links)