scientific article; zbMATH DE number 2159643
From MaRDI portal
Publication:4667609
zbMath1062.06004MaRDI QIDQ4667609
Karell Bertet, Mirabelle Nebut
Publication date: 20 April 2005
Full work available at URL: https://eudml.org/doc/124603
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Database theory (68P15) Nonnumerical algorithms (68W05) Galois correspondences, closure operators (in relation to ordered sets) (06A15)
Related Items (9)
Formal Methods in FCA and Big Data ⋮ Lattices, closures systems and implication bases: a survey of structural aspects and algorithms ⋮ The presence of lattice theory in discrete problems of mathematical social sciences. Why. ⋮ Canonicity! ⋮ Canonical Inference for Implicational Systems ⋮ Canonical Ground Horn Theories ⋮ The multiple facets of the canonical direct unit implicational basis ⋮ Canonical dichotomous direct bases ⋮ Direct-optimal basis computation by means of the fusion of simplification rules
This page was built for publication:
