TY - JOUR AU - Бухараев, Н.Р. TI - О свойствах предельной перечислимости дополнений рекурсивноперечислимых множеств JO - Verojatnostnye metody i kibernetika PY - 1979 PB - Izd. Kazanskogo universiteta VL - 15 SP - 10 EP - 17 LA - rus KW - effectively limit enumerable sets; recursive sets; limit computation; recursive function UR - http://eudml.org/doc/69176 ER -