TY - JOUR AU - E. V. Kuz'min AU - D. Yu. Chalyi TI - On a reachability set of automaton 3-counter machines JO - Modelirovanie i analiz informacionnyh sistem PY - 2009 SP - 77 EP - 84 VL - 16 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MAIS_2009_16_3_a7/ LA - ru ID - MAIS_2009_16_3_a7 ER -