TY - JOUR AU - D. N. Babin TI - Finiteness of the set of automaton Post bases with a decidable completeness problem JO - Diskretnaya Matematika PY - 1998 SP - 57 EP - 63 VL - 10 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/DM_1998_10_3_a4/ LA - ru ID - DM_1998_10_3_a4 ER -