%0 Journal Article %A E. V. Kuzmin %A D. Ju. Chalyy %T Algorithms for the boundedness problem for Minsky counter machines %J Modelirovanie i analiz informacionnyh sistem %D 2008 %P 42-55 %V 15 %N 4 %I mathdoc %U http://geodesic.mathdoc.fr/item/MAIS_2008_15_4_a4/ %G ru %F MAIS_2008_15_4_a4