Isabela Dramnesc, Tudor Jebelean,
"Implementation of Deletion Algorithms on Lists and Binary Trees in Theorema"
, Serie RISC Report Series, Nummer 20-04, RISC, JKU, Hagenberg, Linz, 4-2020
Original Titel:
Implementation of Deletion Algorithms on Lists and Binary Trees in Theorema
Forschungs-