Isabela Dramnesc, Tudor Jebelean,
"Implementation of Deletion Algorithms on Lists and Binary Trees in Theorema"
, Serie RISC Report Series, Johannes Kepler University Linz, Austria, Nummer 20-04, RISC, JKU, Hagenberg, Linz, 4-2020
Original Titel:
Implementation of Deletion Algorithms on Lists and Binary Trees in Theorema
Sprache des Titels:
Englisch
Veröffentlicher:
RISC, JKU
Verlagsanschrift:
Hagenberg, Linz
Serie:
RISC Report Series, Johannes Kepler University Linz, Austria
Forschungs-