AlCons: Deductive Synthesis of Sorting Algorithms in Theorema

von Drämnesc, Isabela
Veröffentlicht in ICTAC (18. : 2021 : Online) Theoretical aspects of computing - ICTAC 2021 (2021)

Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema

von Dramnesc, Isabela
Veröffentlicht in MACIS (8. : 2019 : Gebze) Mathematical aspects of computer and information sciences (2020)