The primitivity of operators in the algebra of binary relations under conjunctions of containments

Dimitri Surinx, Jan Van den Bussche, Dirk Van Gucht. The primitivity of operators in the algebra of binary relations under conjunctions of containments. In 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017. pages 1-10, IEEE Computer Society, 2017. [doi]

Abstract

Abstract is missing.