Pages that link to "Item:Q974107"

The following pages link to The multiple facets of the canonical direct unit implicational basis (Q974107):

Displaying 9 items.

• Construction and learnability of canonical Horn formulas (Q415621) (← links)
• The joy of implications, aka pure Horn formulas: mainly a survey (Q507516) (← links)
• Discovery of the \(D\)-basis in binary tables based on hypergraph dualization (Q507518) (← links)
• RQL: a query language for rule discovery in databases (Q507529) (← links)
• Algorithms for \(k\)-meet-semidistributive lattices (Q507534) (← links)
• On implicational bases of closure systems with unique critical sets. (Q741717) (← links)
• Lattices, closures systems and implication bases: a survey of structural aspects and algorithms (Q1659991) (← links)
• On sets of graded attribute implications with witnessed non-redundancy (Q1750536) (← links)
• Concept lattices with negative information: a characterization theorem (Q2282052) (← links)