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

Maximiliano Cristiá Ricardo D. Katz Gianfranco Rossi

Published in: CoRR (2021)

Keyphrases

finite sets
finite number
small number
piecewise linear
relation algebra
database
data sets
training data