Implementation of Deletion Algorithms on Lists and Binary Trees in Theorema

Research output: Working paper and reports › Preprint

Name	RISC Report Series
No.	20-04

Fields of science

@techreport{8abd8e414b314e1ba6b4767bead828b5,

title = "Implementation of Deletion Algorithms on Lists and Binary Trees in Theorema",

author = "Isabela Dramnesc and Tudor Jebelean",

year = "2020",

month = apr,

language = "English",

series = "RISC Report Series",

publisher = "RISC, JKU",

number = "20-04",

type = "WorkingPaper",

institution = "RISC, JKU",

}