On implicational bases of closure systems with unique critical sets. (Q741717): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Optimum basis of finite convex geometry / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ordered direct implicational basis of a finite closure system / rank
 
Normal rank
Property / cites work
 
Property / cites work: Minimal Representation of Directed Hypergraphs / rank
 
Normal rank
Property / cites work
 
Property / cites work: The multiple facets of the canonical direct unit implicational basis / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3077976 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Exclusive and essential sets of implicates of Boolean functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: The lattices of closure systems, closure operators, and implicational systems on a finite set: A survey / rank
 
Normal rank
Property / cites work
 
Property / cites work: Characterizations of Finite Lattices that are Bounded-Homomqrphic Images or Sublattices of Free Lattices / rank
 
Normal rank
Property / cites work
 
Property / cites work: THE LATTICE THEORY OF FUNCTIONAL DEPENDENCIES AND NORMAL DECOMPOSITIONS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4834373 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5058462 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A POLYNOMIAL ALGORITHM FOR TESTING CONGRUENCE MODULARITY / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finite Sublattices of a Free Lattice / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reducibility among Combinatorial Problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Minimum Covers in Relational Database Model / rank
 
Normal rank
Property / cites work
 
Property / cites work: A theory of finite closure spaces based on implications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Optimal implicational bases for finite modular lattices / rank
 
Normal rank

Revision as of 00:46, 9 July 2024

scientific article
Language Label Description Also known as
English
On implicational bases of closure systems with unique critical sets.
scientific article

    Statements

    On implicational bases of closure systems with unique critical sets. (English)
    0 references
    0 references
    0 references
    12 September 2014
    0 references
    closure systems
    0 references
    lattices of closed sets
    0 references
    canonical bases
    0 references
    stem bases
    0 references
    Duquenne-Guigues bases
    0 references
    unit bases
    0 references
    optimum bases
    0 references
    minimum bases
    0 references
    acyclic Horn formulas
    0 references
    DNF-representations
    0 references
    CNF-representations
    0 references
    lattices without \(D\)-cycles
    0 references

    Identifiers