Pages that link to "Item:Q1822927"
From MaRDI portal
The following pages link to Deductive synthesis of sorting programs (Q1822927):
Displaying 5 items.
- Program construction by verifying specification (Q1273080) (← links)
- Synthesis of sorting algorithms using multisets in \textit{Theorema} (Q1996870) (← links)
- \textit{AlCons}: deductive synthesis of sorting algorithms in \textit{Theorema} (Q2119984) (← links)
- An approach to automatic deductive synthesis of functional programs (Q2457802) (← links)
- Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema (Q5014671) (← links)
