Synthesis of Some Algorithms for Trees: Experiments in Theorema

Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat

Research output: Working paper and reports › Preprint

Name	RISC Report Series
No.	15-04

Fields of science

@techreport{e8d490ca3f3e4240a440b86dc20b2b85,

title = "Synthesis of Some Algorithms for Trees: Experiments in Theorema",

author = "Isabela Dramnesc and Tudor Jebelean and Sorin Stratulat",

year = "2015",

language = "English",

series = "RISC Report Series",

publisher = "RISC",

number = "15-04",

type = "WorkingPaper",

institution = "RISC",

}