Pages that link to "Item:Q741717"

The following pages link to On implicational bases of closure systems with unique critical sets. (Q741717):

Displaying 10 items.

• The joy of implications, aka pure Horn formulas: mainly a survey (Q507516) (← links)
• RQL: a query language for rule discovery in databases (Q507529) (← links)
• Algorithms for \(k\)-meet-semidistributive lattices (Q507534) (← links)
• Using congruence relations to extract knowledge from concept lattices (Q1800395) (← links)
• Translating between the representations of a ranked convex geometry (Q2032718) (← links)
• Optimum basis of finite convex geometry (Q2399285) (← links)
• A representation of antimatroids by Horn rules and its application to educational systems (Q2403022) (← links)
• Directed hypergraphs and Horn minimization (Q2404615) (← links)
• Notes on join semidistributive lattices (Q5063213) (← links)
• Hierarchical decompositions of implicational bases for the enumeration of meet-irreducible elements (Q6165553) (← links)