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