( en | de | ru )

 

Disambiguierung von "Dramnesc, Isabela"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Synthesis of list algorithms by mechanical proving.

, und . J. Symb. Comput., (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Isabela Schmitt

Isabela Gehrke

Paula Isabela Andrei

Magdalena-Isabela Malotka

Raluca-Isabela Opri iu

 

Weitere Publikationen von Autoren mit dem selben Namen

Synthesis of list algorithms by mechanical proving., und . J. Symb. Comput., (2015)Experiments with Automated Reasoning in the Class., , , , und . CICM, Volume 13467 von Lecture Notes in Computer Science, Seite 287-304. Springer, (2022)Theory Exploration in Theorema: Case Study on Lists., und . SACI, Seite 421-426. IEEE, (2012)Mechanical Verification of Insert-Sort and Merge-Sort Using Multisets in Theorema., und . SISY, Seite 55-60. IEEE, (2023)Proof Techniques for Synthesis of Sorting Algorithms., und . SYNASC, Seite 101-109. IEEE Computer Society, (2011)A case study in proof based synthesis of algorithms on monotone lists., und . SACI, Seite 483-488. IEEE, (2015)Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema., und . MACIS, Volume 11989 von Lecture Notes in Computer Science, Seite 153-168. Springer, (2019)Certification of Tail Recursive Bubble-Sort in Theorema and Coq., , und . LPAR Complementary Volume, Volume 18 von Kalpa Publications in Computing, Seite 53-68. EasyChair, (2024)AlCons : Deductive Synthesis of Sorting Algorithms in Theorema., und . ICTAC, Volume 12819 von Lecture Notes in Computer Science, Seite 314-333. Springer, (2021)Case Studies on Algorithm Discovery from Proofs: The Delete Function on Lists and Binary Trees using Multisets., und . SISY, Seite 213-220. IEEE, (2019)