TY  - JOUR
AU  - N. V. Avkhimovich
AU  - S. M. Dudakov
TI  - On decidability of finite subsets’ theory for dense linear order
JO  - Vestnik Tverskogo gosudarstvennogo universiteta. Seriâ Prikladnaâ matematika
PY  - 2023
SP  - 24
EP  - 35
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/VTPMK_2023_1_a1/
LA  - ru
ID  - VTPMK_2023_1_a1
ER  -