TY - CONF AU - Wild, Marcel A2 - T1 - Computations with finite closure systems and implications T2 - Computing and combinatorics PB - Springer--Verlag C1 - PY - 1995/ CY - VL - IS - 959 SP - 111 EP - 120 UR - DO - 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 - DO - 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 -