|
|
Publications in Math-Net.Ru |
Citations |
|
2023 |
1. |
N. V. Avkhimovich, S. M. Dudakov, “On decidability of finite subsets’ theory for dense linear order”, Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2023, no. 1, 24–35 |
|
2022 |
2. |
N. V. Avkhimovich, “On decidability of finite subsets’ theory for discrete linear order”, Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2022, no. 3, 91–104 |
1
|
|
Organisations |
|
|