A category theory approach to conceptual data modeling
A limiting distribution for quicksort
A model of regular sparsity map representation.
A New Approach to the Dynamic Maintenance of Maximal Points in a Plane.
A partially persistent data structure for the set-union problem
A perfect hashing incremental scheme for unranked trees using pseudo-minimal automata
We describe a technique that maps unranked trees to arbitrary hash codes using a bottom-up deterministic tree automaton (DTA). In contrast to other hashing techniques based on automata, our procedure builds a pseudo-minimal DTA for this purpose. A pseudo-minimal automaton may be larger than the minimal one accepting the same language but, in turn, it contains proper elements (states or transitions which are unique) for every input accepted by the automaton. Therefore, pseudo-minimal DTA...
A semantic construction of two-ary integers
To binary trees, two-ary integers are what usual integers are to natural numbers, seen as unary trees. We can represent two-ary integers as binary trees too, yet with leaves labelled by binary words and with a structural restriction. In a sense, they are simpler than the binary trees, they relativize. Hence, contrary to the extensions known from Arithmetic and Algebra, this integer extension does not make the starting objects more complex. We use a semantic construction to get this extension. This...
Algebraic definition of a functional programming language and its semantic models
An algorithm to compute the möbius function of the rotation lattice of binary trees
An application of -ary trees to the design of data structures for geometric searching problems
Arbitrary weight changes in dynamic trees
Associative models for storing and retrieving concept lattices.
Average case analysis of fully dynamic reachability for directed graphs