The primitivity of operators in the algebra of binary relations under conjunctions of containments
LICS, pp. 1-10, 2017.
The algebra of binary relations provides union and composition as basic operators, with the empty set as neutral element for union and the identity relation as neutral element for composition. The basic algebra can be enriched with additional features. We consider the diversity relation, the full relation, intersection, set difference, pr...More
Full Text (Upload PDF)
PPT (Upload PPT)