%0 Journal Article %A E. N. Pavlovsky %T Algorithmic recognizability of finiteness property of finite-definite systems %J Sibirskij žurnal čistoj i prikladnoj matematiki %D 2006 %P 83-92 %V 6 %N 4 %I mathdoc %U http://geodesic.mathdoc.fr/item/VNGU_2006_6_4_a4/ %G ru %F VNGU_2006_6_4_a4