TY - JOUR AU - M. I. Anokhin TI - Decidability of classes of algebraic systems in polynomial time JO - Sbornik. Mathematics PY - 2002 SP - 157 EP - 186 VL - 193 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/SM_2002_193_2_a0/ LA - en ID - SM_2002_193_2_a0 ER -