TY - JOUR AU - A. G. Myasnikov TI - The structure of models and a~decidability criterion for complete theories of finite-dimensional algebras JO - Izvestiya. Mathematics PY - 1990 SP - 389 EP - 407 VL - 34 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/IM2_1990_34_2_a8/ LA - en ID - IM2_1990_34_2_a8 ER -