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