TY  - JOUR
AU  - A. Yu. Nikitin
TI  - Decidability of the restricted theories of a class of partial orders
JO  - Prikladnaâ diskretnaâ matematika
PY  - 2019
SP  - 6
EP  - 12
IS  - 3
UR  - http://geodesic.mathdoc.fr/item/PDM_2019_3_a1/
LA  - ru
ID  - PDM_2019_3_a1
ER  -