О верхней полурешетке рекурсивно-перечислимых sQ-степеней.
Р.Ш. Оманадзе (1991)
Algebra i Logika
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: