TY - JOUR AU - M. N. Rybakov TI - Trees as a tool for modelling undecidable problems JO - Vestnik Tverskogo gosudarstvennogo universiteta. Seriâ Prikladnaâ matematika PY - 2023 SP - 5 EP - 23 IS - 1 UR - http://geodesic.mathdoc.fr/item/VTPMK_2023_1_a0/ LA - ru ID - VTPMK_2023_1_a0 ER -