Диофантова сложность

Ю.В. Матиясевич

Displaying similar documents to “Диофантова сложность”

О верхней полурешетке рекурсивно-перечислимых sQ-степеней.

Р.Ш. Оманадзе (1991)

Algebra i Logika

Similarity:

Новая техника для получения диафантовых представлений путем устранения ограниченных кванторов общности

Ю.В. Матиясевич (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: