Pages that link to "Item:Q1874537"
From MaRDI portal
The following pages link to The lattices of closure systems, closure operators, and implicational systems on a finite set: A survey (Q1874537):
Displaying 50 items.
- Recursive decomposition and bounds of the lattice of Moore co-families. (Q353309) (← links)
- Matroidal approaches to rough sets via closure operators (Q448937) (← links)
- On critical sets of a finite Moore family (Q481926) (← 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)
- Succinctness and tractability of closure operator representations (Q507522) (← links)
- RQL: a query language for rule discovery in databases (Q507529) (← links)
- Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool (Q516028) (← links)
- Contact, closure, topology, and the linking of row and column types of relations (Q549681) (← links)
- The poset of closure systems on an infinite poset: detachability and semimodularity (Q616624) (← links)
- On implicational bases of closure systems with unique critical sets. (Q741717) (← links)
- On geometric posets and partial matroids (Q783288) (← links)
- Minimum implicational basis for \(\wedge\)-semidistributive lattices (Q845722) (← links)
- Size of random Galois lattices and number of closed frequent itemsets (Q967342) (← links)
- The multiple facets of the canonical direct unit implicational basis (Q974107) (← links)
- Choice functions and extensive operators (Q1016094) (← links)
- Frame cellular automata: Configurations, generating sets and related matroids (Q1024429) (← links)
- The presence of lattice theory in discrete problems of mathematical social sciences. Why. (Q1414820) (← links)
- Cryptomorphic topological structures: a computational, relation-algebraic approach (Q1633340) (← links)
- Lattices, closures systems and implication bases: a survey of structural aspects and algorithms (Q1659991) (← links)
- Spaces with fuzzy partitions and fuzzy transform (Q1701830) (← links)
- Enumeration of 2-level polytopes (Q1741129) (← links)
- The lattice of strict completions of a finite poset. (Q1771910) (← links)
- Characterizing approximate-matching dependencies in formal concept analysis with pattern structures (Q1800380) (← links)
- Closure systems, implicational systems, overhanging relations and the case of hierarchical classification (Q1887547) (← links)
- New representations of algebraic domains and algebraic L-domains via closure systems (Q1982590) (← links)
- Algorithms for tight spans and tropical linear spaces (Q1994124) (← links)
- Translating between the representations of a ranked convex geometry (Q2032718) (← links)
- The topology of a quantale valued metric space (Q2035417) (← links)
- Exploring scale-measures of data sets (Q2117144) (← links)
- Fuzzy closure systems: motivation, definition and properties (Q2169193) (← links)
- Recursive decomposition tree of a Moore co-family and closure algorithm. (Q2248537) (← links)
- Transformations of discrete closure systems (Q2250810) (← links)
- Characterizing functional dependencies in formal concept analysis with pattern structures (Q2254619) (← links)
- Most specific consequences in the description logic \(\mathcal{E} \mathcal{L} \) (Q2286398) (← links)
- Moore systems and Moore convergence classes of families of nets (Q2350690) (← links)
- The structure of the overhanging relations associated with some types of closure systems (Q2385438) (← links)
- Optimum basis of finite convex geometry (Q2399285) (← links)
- A representation of antimatroids by Horn rules and its application to educational systems (Q2403022) (← links)
- Non-deterministic ideal operators: an adequate tool for formalization in data bases (Q2478434) (← links)
- Generalized domination in closure systems (Q2489652) (← links)
- A new characterization of the path independent choice functions (Q2507242) (← links)
- Hyper-relations, choice functions, and orderings of opportunity sets (Q2516125) (← links)
- Knowledge spaces from a topological point of view (Q2654145) (← links)
- Unique key Horn functions (Q2672584) (← links)
- Isolated sublattices and their application to counting closure operators (Q2695353) (← links)
- Abstract Concept Lattices (Q3003422) (← links)
- Going down in (semi)lattices of finite moore families and convex geometries (Q3070121) (← links)
- Knowledge Spaces and Reduction of Covering Approximation Spaces (Q3300358) (← links)
- Horn representation of a concept lattice (Q3631392) (← links)
