Arithmetization of register machines with counters. (English. Russian original) Zbl 1477.03160
Mosc. Univ. Comput. Math. Cybern. 44, No. 3, 133-145 (2020); translation from Vestn. Mosk. Univ., Ser. XV 2020, No. 3, 30-42 (2020).