TY  - JOUR
AU  - A. S. Zolotov
TI  - On the application of finite-state machines to the investigation of the fixed-point theory decidability
JO  - Vestnik Tverskogo gosudarstvennogo universiteta. Seriâ Prikladnaâ matematika
PY  - 2016
SP  - 103
EP  - 115
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VTPMK_2016_1_a7/
LA  - ru
ID  - VTPMK_2016_1_a7
ER  -