Characterization of the algebraic closure systems that can be represented by \(S^+\)

From MaRDI portal
Publication:1146701