Pages that link to "Item:Q741717"
From MaRDI portal
The following pages link to On implicational bases of closure systems with unique critical sets. (Q741717):
Displaying 15 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)
- The multiple facets of the canonical direct unit implicational basis (Q974107) (← links)
- Using congruence relations to extract knowledge from concept lattices (Q1800395) (← links)
- Ordered direct implicational basis of a finite closure system (Q1946213) (← links)
- The prime stems of rooted circuits of closure spaces and minimum implicational bases (Q1953403) (← links)
- Translating between the representations of a ranked convex geometry (Q2032718) (← links)
- Canonical dichotomous direct bases (Q2282305) (← 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)
- Maximal closed set and half-space separations in finite closure systems (Q6093588) (← links)
- Hierarchical decompositions of implicational bases for the enumeration of meet-irreducible elements (Q6165553) (← links)