Венцов Ю.Г. ...


Венцов Ю.Г.
[1987]
Семейство рекурсивно перечислимых множеств с конечными классами неэквивалентных однозначных вычислимых нумераций
Вычис. системы, 120, 105-142, Новосибирск
88.ВН1.381
G
статья

Вернуться к поиску