|
|
|
Publications in Math-Net.Ru |
Citations |
|
2012 |
| 1. |
A. S. Snyatkov, “Lower boundary of time to resolve the theory with the exponential function”, Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2012, no. 2, 5–10   |
1
|
|
2010 |
| 2. |
A. S. Snyatkov, “On decidability of the theory $\mathrm{Th}(\omega,0,1,<,+,f_0,\dots,f_n)$”, Model. Anal. Inform. Sist., 17:3 (2010), 72–90 |
|
2008 |
| 3. |
A. S. Snyatkov, “The solvability of the theory $ T_f = \ Th (\ omega, 0, 1, <, +, f (x), F (x)) $”, Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2008, no. 9, 39–51 |
1
|
|
| Organisations |
|
|
Contact us: