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

From MaRDI portal
Normalize DOI.
Import241208061232 (talk | contribs)
Normalize DOI.
 
Property / DOI
 
Property / DOI: 10.1016/J.DAM.2013.08.033 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1016/J.DAM.2013.08.033 / rank
 
Normal rank

Latest revision as of 02:43, 10 December 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