TY - CONF AU - Wild, Marcel A2 - T1 - Computations with finite closure systems and implications T2 - Computing and combinatorics PB - Springer--Verlag CY - PY - 1995/ M2 - VL - IS - 959 SP - 111 EP - 120 UR - M3 - KW - formal KW - concept KW - ag1 KW - formale KW - begriffsanalyse KW - tu KW - forschungsgruppe KW - analysis KW - fca KW - darmstadt KW - lattices KW - fba L1 - SN - N1 - FCA publications after 1995 N1 - AB - ER - TY - RPRT AU - Wild, Marcel A2 - T1 - Optimal implicational bases for finite modular

lattices PB - TH Darmstadt AD - PY - 1989 / VL - IS - 1211 SP - EP - UR - M3 - KW - formal KW - concept KW - ag1 KW - formale KW - begriffsanalyse KW - tu KW - forschungsgruppe KW - analysis KW - fca KW - darmstadt KW - lattices KW - fba L1 - N1 - FCA publications until 1980 N1 - FB4--Preprint N1 - AB - ER -