TY - JOUR AU - M. I. Kratko AU - A. N. Khruzin TI - Unsolvability of certain problems in the theory of R\"odding automata JO - Doklady Akademii Nauk PY - 1993 SP - 416 EP - 418 VL - 329 IS - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/DAN_1993_329_4_a7/ LA - ru ID - DAN_1993_329_4_a7 ER -