Enumeration of the adjunctive hierarchy of hereditarily finite sets.

Giorgio Audrito Alexandru I. Tomescu Stephan G. Wagner

Published in: J. Log. Comput. (2015)

Keyphrases

finite sets
piecewise linear
linearly separable
positive and negative examples
schema mappings