TY - JOUR AU - D. N. Babin TI - On the decidability of the completeness problem for special systems of automata functions JO - Diskretnaya Matematika PY - 1996 SP - 79 EP - 91 VL - 8 IS - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/DM_1996_8_4_a6/ LA - ru ID - DM_1996_8_4_a6 ER -