A Set Solver for Finite Set Relation Algebra.

Maximiliano Cristiá Gianfranco Rossi

Published in: RAMiCS (2018)

Keyphrases

information systems
small number
probability distribution
finite number