Automatic Deductive Synthesis of Lisp Programs in the System ALISA

DOI10.1007/11853886_21zbMath1152.68421OpenAlexW1538870145MaRDI QIDQ3533135

Yulia Korukhova

Publication date: 30 October 2008

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11853886_21

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Functional programming and lambda calculus (68N18)

Related Items (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} ⋮ ALISA ⋮ Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema

This page was built for publication: Automatic Deductive Synthesis of Lisp Programs in the System ALISA