Lattices, closures systems and implication bases: A survey of structural aspects and algorithms
Bertet, Karell, Demko, Christophe, Viaud, Jean-François, Guérin, ClémentLanguage:
english
Journal:
Theoretical Computer Science
DOI:
10.1016/j.tcs.2016.11.021
Date:
November, 2016
File:
PDF, 1.17 MB
english, 2016