|
|
|
Publications in Math-Net.Ru |
Citations |
|
2016 |
| 1. |
A. S. Zolotov, “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   |
1
|
| 2. |
A. S. Zolotov, “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 |
|
2013 |
| 3. |
A. S. Zolotov, “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 |
2
|
|
| Organisations |
|
|
Contact us: