Uniform Algebraic Specifications of Finite Sets with Equality.

Jan A. Bergstra Sjouke Mauw Freek Wiedijk

Published in: Int. J. Found. Comput. Sci. (1991)

Keyphrases

finite sets
piecewise linear
interval arithmetic
positive and negative examples
linearly separable
database
decision trees
data exchange
schema mappings