Algorithms for \(k\)-meet-semidistributive lattices (Q507534): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2015.10.029
@@ Property / DOI: 10.1016/j.tcs.2015.10.029 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+W05
@@ Property / Mathematics Subject Classification ID: 68W05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G10
@@ Property / Mathematics Subject Classification ID: 03G10 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+D75
@@ Property / Mathematics Subject Classification ID: 06D75 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T30
@@ Property / Mathematics Subject Classification ID: 68T30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+W40
@@ Property / Mathematics Subject Classification ID: 68W40 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6680941
@@ Property / zbMATH DE Number: 6680941 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+\(k\)-meet-semidistributive lattice
@@ Property / zbMATH Keywords: \(k\)-meet-semidistributive lattice / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+colored poset
@@ Property / zbMATH Keywords: colored poset / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+implicational base
@@ Property / zbMATH Keywords: implicational base / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2015.10.029
+Normal rank
@@ Property / OpenAlex ID @@
+W1869935947
@@ Property / OpenAlex ID: W1869935947 / rank @@
+Normal rank
@@ Property / cites work @@
+On implicational bases of closure systems with unique critical sets.
+Normal rank
@@ Property / cites work @@
+Discovery of the \(D\)-basis in binary tables based on hypergraph dualization
+Normal rank
@@ Property / cites work @@
+Ordered direct implicational basis of a finite closure system
+Normal rank
@@ Property / cites work @@
+Computing premises of a minimal cover of functional dependencies is intractable
+Normal rank
@@ Property / cites work @@
+Q5685119
@@ Property / cites work: Q5685119 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Structure of Armstrong Relations for Functional Dependencies
+Normal rank
@@ Property / cites work @@
+The multiple facets of the canonical direct unit implicational basis
+Normal rank
@@ Property / cites work @@
+Q5841991
@@ Property / cites work: Q5841991 / rank @@
+Normal rank
@@ Property / cites work @@
+Dual-Bounded Generating Problems: Partial and Multiple Transversals of a Hypergraph
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Doubling convex sets in lattices and a generalized semidistributivity condition
+Normal rank
@@ Property / cites work @@
+On the complexity of enumerating pseudo-intents
@@ Property / cites work: On the complexity of enumerating pseudo-intents / rank @@
+Normal rank
@@ Property / cites work @@
+Q3813089
@@ Property / cites work: Q3813089 / rank @@
+Normal rank
@@ Property / cites work @@
+Identifying the Minimal Transversals of a Hypergraph and Related Problems
+Normal rank
@@ Property / cites work @@
+New Results on Monotone Dualization and Generating Hypergraph Transversals
+Normal rank
@@ Property / cites work @@
+On the Complexity of Dualization of Monotone Disjunctive Normal Forms
+Normal rank
@@ Property / cites work @@
+Q4230685
@@ Property / cites work: Q4230685 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalizing semidistributivity
@@ Property / cites work: Generalizing semidistributivity / rank @@
+Normal rank
@@ Property / cites work @@
+The number of Moore families on \(n=6\)
@@ Property / cites work: The number of Moore families on \(n=6\) / rank @@
+Normal rank
@@ Property / cites work @@
+A simplicial elimination scheme for \(\wedge\)-semidistributive lattices and interval collapsing
+Normal rank
@@ Property / cites work @@
+Minimum implicational basis for \(\wedge\)-semidistributive lattices
+Normal rank
@@ Property / cites work @@
+Generating all maximal models of a Boolean expression
+Normal rank
@@ Property / cites work @@
+Design by example: An application of Armstrong relations
+Normal rank
@@ Property / cites work @@
+Q4055674
@@ Property / cites work: Q4055674 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3455594
@@ Property / cites work: Q3455594 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997892
@@ Property / cites work: Q3997892 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast algorithms for implication bases and attribute exploration using proper premises
+Normal rank
@@ Property / cites work @@
+Computing the minimum cover of functional dependencies
+Normal rank
@@ Property / cites work @@
+The joy of implications, aka pure Horn formulas: mainly a survey
+Normal rank
@@ Property / cites work @@
+Optimal implicational bases for finite modular lattices
+Normal rank
@@ Property / cites work @@
+Subdirect decomposition of concept lattices
@@ Property / cites work: Subdirect decomposition of concept lattices / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2015.10.029
@@ Property / DOI: 10.1016/J.TCS.2015.10.029 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:507534