Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra.

Maximiliano Cristiá Ricardo D. Katz Gianfranco Rossi

Published in: Comput. J. (2022)

Keyphrases

finite sets
piecewise linear
databases
multi class
small number
finite number
decision trees
input data
theoretical framework