This paper is concerned with design, implementation and verification of persistent purely functional data structures which are motivated by the representation of natural numbers us...
This article presents the ways of identification, selection and transformation of the data into other structures. Relation selection and transformation may change data quantity and...