ALISA

swMATH3031MaRDI QIDQ15565FDOQ15565

Author name not available (Why is that?)

Described by source

• Automatic Deductive Synthesis of Lisp Programs in the System ALISA

Cited In (4)

• An approach to automatic deductive synthesis of functional programs
• Synthesis of sorting algorithms using multisets in \textit{Theorema}
• \textit{AlCons}: deductive synthesis of sorting algorithms in \textit{Theorema}
• Decentralized Grid Scheduling Using Genetic Algorithms

This page was built for software: ALISA