Lattices, closures systems and implication bases: A survey of structural aspects and algorithms - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Theoretical Computer Science Année : 2018

Dates et versions

hal-02407440 , version 1 (12-12-2019)

Identifiants

Citer

Karell Bertet, Christophe Demko, Jean-François Viaud, Clément Guerin. Lattices, closures systems and implication bases: A survey of structural aspects and algorithms. Theoretical Computer Science, 2018, 743, pp.93-109. ⟨10.1016/j.tcs.2016.11.021⟩. ⟨hal-02407440⟩
34 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More