TY  - JOUR
AU  - A. S. Zolotov
TI  - 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
JO  - Vestnik Tverskogo gosudarstvennogo universiteta. Seriâ Prikladnaâ matematika
PY  - 2016
SP  - 97
EP  - 109
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VTPMK_2016_3_a7/
LA  - ru
ID  - VTPMK_2016_3_a7
ER  -