Isabela Drămnesc

Available identifiers

Publication	Date of Publication	Type
Experiments with automated reasoning in the class	2023-06-02	Paper
\textit{AlCons}: deductive synthesis of sorting algorithms in \textit{Theorema}	2022-03-31	Paper
Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema	2021-12-08	Paper
Synthesis of sorting algorithms using multisets in \textit{Theorema}	2021-02-26	Paper
Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques	2018-06-14	Paper
Proof-based synthesis of sorting algorithms for trees	2016-04-13	Paper
Synthesis of list algorithms by mechanical proving	2015-01-14	Paper

This page was built for person: Isabela Drămnesc