%0 Journal Article
%A A. S. Zolotov
%T On the lower bondary for time complexity of a decidability problem of a theory of integers with a successor function and the least fixed point operator
%J Vestnik Tverskogo gosudarstvennogo universiteta. Seriâ Prikladnaâ matematika
%D 2016
%P 97-109
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VTPMK_2016_3_a7/
%G ru
%F VTPMK_2016_3_a7