ALISA

swMATH3031MaRDI QIDQ15565FDOQ15565

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007/11853886_21

Described by source

• Automatic Deductive Synthesis of Lisp Programs in the System ALISA

Cited In (5)

• 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}
• KIDS
• Decentralized Grid Scheduling Using Genetic Algorithms

This page was built for software: ALISA