TY - JOUR AU - E. B. Fokina TI - Algorithmic Properties of Structures for the Language with Two Unary Functional Symbols JO - Sibirskij žurnal čistoj i prikladnoj matematiki PY - 2008 SP - 90 EP - 101 VL - 8 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/VNGU_2008_8_1_a8/ LA - ru ID - VNGU_2008_8_1_a8 ER -