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