RUS
ENG
Full version
PEOPLE
Validov F I
Publications in Math-Net.Ru
Recursively enumerable sets and discrete families of general recursive functions
Izv. Vyssh. Uchebn. Zaved. Mat.
, 1984, no. 4,
6–11
Finite-automaton separability of languages
Izv. Vyssh. Uchebn. Zaved. Mat.
, 1984, no. 3,
18–24
Minimal numerations of families of general recursive functions
Izv. Vyssh. Uchebn. Zaved. Mat.
, 1978, no. 9,
13–24
©
Steklov Math. Inst. of RAS
, 2024