Login / Signup
On Arithmetic Computations with Hereditarily Finite Sets, Functions and Types.
Paul Tarau
Published in:
ICTAC (2010)
Keyphrases
</>
finite sets
piecewise linear
linearly separable
interval arithmetic
database
decision trees
database systems
negative examples