TY - JOUR AU - Yu. S. Ryzhikova TI - Decidability of the identity recognition problem in lattices of JO - Doklady Akademii Nauk PY - 1987 SP - 1058 EP - 1061 VL - 297 IS - 5 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/DAN_1987_297_5_a7/ LA - ru ID - DAN_1987_297_5_a7 ER -