The following pages link to ALISA (Q15565):
Displaying 4 items.
- 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)
- Decentralized Grid Scheduling Using Genetic Algorithms (Q3603116) (← links)