Оценка сложности индексных множеств семейств общерекурсивных функций, в арифметической иерархии.
Ю.Д. Корольков (2002)
Algebra i Logika
Similarity:
Displaying similar documents to “Некоторые вопросы теории рекурсивных функций.”
Оценка сложности индексных множеств семейств общерекурсивных функций, в арифметической иерархии.
О числе неэквивалентных вычислимых индексаций фиксированного семейства множеств
С.Л. Березнюк (1993)
Algebra i Logika
Similarity:
Две теоремы о рекурсивно перечислимых множествах.
М.М. Арсланов (1968)
Algebra i Logika
Similarity:
О представлении частично-рекурсиных функций с некоторыми условиями в виде суперпозиций
B.B. Козьминых, V.V. Koz'minych, V.V. Koz'minyh, V.V. Koz'minykh (1974)
Algebra i Logika
Similarity:
Соотношения между некоторыми сводимостями
Р.Ш. Оманадзе, R. Š. Omanadze, R. Š. Omanadze, R. Š. Omanadze (1994)
Algebra i Logika
Similarity:
О частотном перечислении множеств.
Е.Б. Кинбер (1974)
Algebra i Logika
Similarity:
Равномерность в теории вычислимых структур
Р. Доуни, Д. Хиршвельд, Б. Хусаинов (2003)
Algebra i Logika
Similarity:
О мощности множества максимальных подалгебр алгебры частично рекурсивных функций.
А.И. Щеглов (1968)
Algebra i Logika
Similarity:
Эффективные иерархии
Н.В. Белякин (1990)
Algebra i Logika
Similarity:
О базисах в алгебрах частично рекурсивных функций.
Х.Х. Насибуллов (1968)
Algebra i Logika
Similarity:
Задача эффективного выбора конструктивизаций и рекурсивная совместимость проблем на конструктивных моделях
Ю.Г. Венцов (1992)
Algebra i Logika
Similarity: