Generalized domination in closure systems (Q2489652): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.dam.2005.04.009
+Normal rank
@@ Property / OpenAlex ID @@
+W2047430636
@@ Property / OpenAlex ID: W2047430636 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5685119
@@ Property / cites work: Q5685119 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4709056
@@ Property / cites work: Q4709056 / rank @@
+Normal rank
@@ Property / cites work @@
+Representing a concept lattice by a graph
@@ Property / cites work: Representing a concept lattice by a graph / rank @@
+Normal rank
@@ Property / cites work @@
+Q5331549
@@ Property / cites work: Q5331549 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3029054
@@ Property / cites work: Q3029054 / rank @@
+Normal rank
@@ Property / cites work @@
+The poset of closures as a model of changing databases
+Normal rank
@@ Property / cites work @@
+The lattices of closure systems, closure operators, and implicational systems on a finite set: A survey
+Normal rank
@@ Property / cites work @@
+Q3691099
@@ Property / cites work: Q3691099 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+Two Basic Algorithms in Concept Analysis
@@ Property / cites work: Two Basic Algorithms in Concept Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q5058462
@@ Property / cites work: Q5058462 / rank @@
+Normal rank
@@ Property / cites work @@
+Horn functions and their DNFs
@@ Property / cites work: Horn functions and their DNFs / rank @@
+Normal rank
@@ Property / cites work @@
+Galois Lattice as a Framework to Specify Building Class Hierarchies Algorithms
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3668890
@@ Property / cites work: Q3668890 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4818022
@@ Property / cites work: Q4818022 / rank @@
+Normal rank
@@ Property / cites work @@
+LTUR: A simplified linear-time unit resolution algorithm for Horn formulae and computer implementation
+Normal rank
@@ Property / cites work @@
+Algorithmic Aspects of Vertex Elimination on Graphs
+Normal rank
@@ Property / cites work @@
+Q3952147
@@ Property / cites work: Q3952147 / rank @@
+Normal rank