Pages that link to "Item:Q2798749"
From MaRDI portal
The following pages link to Proof–Based Synthesis of Sorting Algorithms for Trees (Q2798749):
Displaying 5 items.
- Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques (Q1640636) (← links)
- Synthesis of sorting algorithms using multisets in \textit{Theorema} (Q1996870) (← links)
- Recursive proofs for inductive tree data-structures (Q2942864) (← links)
- (Q3692900) (← links)
- Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema (Q5014671) (← links)