О верхней полурешетке рекурсивно-перечислимых sQ-степеней.
Р.Ш. Оманадзе (1991)
Algebra i Logika
Similarity:
Displaying similar documents to “Диофантова сложность”
О верхней полурешетке рекурсивно-перечислимых sQ-степеней.
Новая техника для получения диафантовых представлений путем устранения ограниченных кванторов общности
Ю.В. Матиясевич (1995)
Zapiski naucnych seminarov POMI
Similarity:
О сложности вывода в исчислении высказываний
Г.С. Цейтин (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Сложность разрешения теории первого порядка вещественно замкнутых полей
Д.Ю. Григорьев (1988)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Одна теорема о надмножествах рекурсивно-перечислимых множеств
Е.З. Дымент (1977)
Sibirskij matematiceskij zurnal
Similarity:
О tt- и m-степенях
А.Н. Дёгтев (1973)
Algebra i Logika
Similarity:
Две теоремы о рекурсивно перечислимых множествах.
М.М. Арсланов (1968)
Algebra i Logika
Similarity:
О распознавании замещаемости в рекурсивных языках
A.В. Гладкий, A.V. Gladkij, A.V. Gladkij, A.V. Gladkii, A.V. Gladkij (1963)
Algebra i Logika
Similarity:
Об оценках сложности разрешения алгорифмов
М.И. Канович (1969)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Новое доказательство теоремы об экспоненциально диофантовом представлении перечислимых предикатов
Ю.В. Матиясевич (1976)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Строение верхней полурешетки рекурсивно-перечислимых m-степеней и смежные вопросы. 1
С.Д. Денисов (1978)
Algebra i Logika
Similarity:
О рекурсивно перечислимых минимальных btt-степенях
С.С. Марченков (1977)
Matematiceskij sbornik
Similarity:
О верхней полурешетке рекурсивно-перечислимых Q-степеней.
Р.Ш. Оманадзе (1984)
Algebra i Logika
Similarity:
О степенях рекурсивно перечислимых множеств.
С. Каллибеков (1973)
Sibirskij matematiceskij zurnal
Similarity:
Слабо комбинаторно-селекторные множества.
А.Н. Дёгтев, Д.И. Иванов, A. N. Dëgtev, D. I. Ivanov, A. N. Dëgtev, D. I. Ivanov, A. N. Dëgtev, D. I. Ivanov (1998)
Algebra i Logika
Similarity:
Частичные степени иммунных и гипериммунных множеств.
М.Г. Розинас (1978)
Sibirskij matematiceskij zurnal
Similarity:
Две теоремы о сложности алгорифмов и вычислений
Н.В. Петри (1969)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Нижние оценки в алгебраической сложности вычислений
Д.Ю. Григорьев (1982)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Вполне перечислимые множества.
Ю.Д. Корольков (1999)
Sibirskij matematiceskij zurnal
Similarity:
Об оценке сложности некоторых массовых проблем анализа
М.И. Канович, Б.А. Кушнер (1969)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О кратной позитивной сводимости
А.Н. Дёгтев (1993)
Sibirskij matematiceskij zurnal
Similarity: