Lattices, closures systems and implication bases: A survey of structural aspects and algorithms

Autor: Bertet, Karell, Demko, Christophe, Viaud, Jean-François, Guérin, Clément
Zdroj: In Theoretical Computer Science 26 September 2018 743:93-109
Databáze: ScienceDirect