Computer programing for construction and enumeration of all regular topologies and equivalence relations on finite sets

From MaRDI portal
Publication:1780493