Efficient algorithms on the Moore family associated to an implicational system.

@article{Bertet2004,
author = {Bertet, Karell, Nebut, Mirabelle},
journal = {Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]},
keywords = {lattice; ordered set; Moore family; implicational system; closure operator; algorithms},
language = {eng},
number = {2},
pages = {315-338},
publisher = {Maison de l'Informatique et des Mathématiques Discrètes, MIMD},
title = {Efficient algorithms on the Moore family associated to an implicational system.},
url = {http://eudml.org/doc/124603},
volume = {6},
year = {2004},
}

TY - JOUR
AU - Bertet, Karell
AU - Nebut, Mirabelle
TI - Efficient algorithms on the Moore family associated to an implicational system.
JO - Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]
PY - 2004
PB - Maison de l'Informatique et des Mathématiques Discrètes, MIMD
VL - 6
IS - 2
SP - 315
EP - 338
LA - eng
KW - lattice; ordered set; Moore family; implicational system; closure operator; algorithms
UR - http://eudml.org/doc/124603
ER -