ALISA

MaRDI QIDQ15565swMATHFDO

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)

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

This page was built for software: ALISA