The completeness criterion for closure operator with the equality predicate branching on the set of multioperations on two-element set

From MaRDI portal
(Redirected from Publication:2280349)