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 |
Externí odkaz: |