Simple Proof of Basic Theorem for General Concept Lattices by Cartesian Representation.

Radim Belohlvek, Jan Konecny, Petr Osicka

Browse the full MDAI paper archive.