Zolotov Alexander Sergeevich

Publications in Math-Net.Ru

1. 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
   
   Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2016, no. 3,  97–109
2. On the application of finite-state machines to the investigation of the fixed-point theory decidability
   
   Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2016, no. 1,  103–115
3. The Use Of The Transitive Closure Operator On Formulas With A Single Successor Function And Divisibility Predicates
   
   Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2013, no. 1,  101–117