The following pages link to (Q4667609):
Displaying 9 items.
- The multiple facets of the canonical direct unit implicational basis (Q974107) (← links)
- The presence of lattice theory in discrete problems of mathematical social sciences. Why. (Q1414820) (← links)
- Lattices, closures systems and implication bases: a survey of structural aspects and algorithms (Q1659991) (← links)
- Direct-optimal basis computation by means of the fusion of simplification rules (Q1800392) (← links)
- Canonical dichotomous direct bases (Q2282305) (← links)
- Canonicity! (Q3541714) (← links)
- Canonical Inference for Implicational Systems (Q3541718) (← links)
- Canonical Ground Horn Theories (Q4916071) (← links)
- Formal Methods in FCA and Big Data (Q5054986) (← links)
