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

Bertet, Karell, and Nebut, Mirabelle. "Efficient algorithms on the Moore family associated to an implicational system.." Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only] 6.2 (2004): 315-338. <http://eudml.org/doc/124603>.

@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 -