EuDML | Browse

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Subjects
03-XX Mathematical logic and foundations
03Dxx Computability and recursion theory

Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Previous Page 39 Next

Displaying 761 – 780 of 995

О сводимости вычислимых нумераций.

А.Б. Хуторецкий, A.B. Chutoreckij, A.B. Hutoreckij, A.B. Khutoretskij (1969)

Algebra i Logika

О сводимостях нумераций

А.Н. Дёгтев (1980)

Matematiceskij sbornik

О свойствах предельной перечислимости дополнений рекурсивноперечислимых множеств

Н.Р. Бухараев (1979)

Verojatnostnye metody i kibernetika

О семействах общерекурсивных функций с конечным числом предельных точек.

Ю.Д. Корольков (1978)

Algebra i Logika

О семехствах рекурсивно-перечислимых множеств

Ш.Т. Ишмухаметов (1982)

Verojatnostnye metody i kibernetika

О сильной конструктивизируемости булевых алгебр элементарной характеристики (1,1,0)

В.Н. Власов, С.С. Гончаров (1993)

Algebra i Logika

О системах алгоритмических алгерб, сохраняющих идеалы в решетке рекурсивно перечислимых множеств

Ю.В. Голунков, А.А. Савельев (1987)

Verojatnostnye metody i kibernetika

О слабо гиперпростых множествах

Г.В. Здебская (1980)

Verojatnostnye metody i kibernetika

О слабо предполных позитивных эквивалентностях.

С.А. Бадаев (1991)

Sibirskij matematiceskij zurnal

О сложности алгоритмов сведения в конструкциях Новикова-Буна.

Б.А. Трахтенброт (1969)

Algebra i Logika

О сложности вывода в грамматиках непосредственно составляющих

А.В. Гладкий, A.V. Gladkij, A.V. Gladkij, A.V. Gladkii (1964)

Algebra i Logika

О сложности линейных выводов в методе резолюций

Р.К. Самитов (1983)

Verojatnostnye metody i kibernetika

О соотношении сноп-пространств и нумерованных множеств со свойством $C_{2}^{*}$

Ю.Л. Ершов (1973)

Zapiski naucnych seminarov Leningradskogo

О сравнении индексов, возникающих при трансфинитной итерации функций.

В.И. Амстиславский (1973)

Sibirskij matematiceskij zurnal

О с-степенях непрерывных всюду определенных функционалов.

С.Г. Дворников (1979)

Algebra i Logika

О степенях рекурсивно перечислимых множеств.

С. Каллибеков (1973)

Sibirskij matematiceskij zurnal

О степенях сводимостей по перечислимости.

С.Д. Захаров (1986)

Algebra i Logika

О строении m-скачка.

Ан.А. Мальцев (1981)

Sibirskij matematiceskij zurnal

О структуре конституант $Π_{1}^{1}$ -множеств

В.Г. Кановей (1983)

Sibirskij matematiceskij zurnal

О структуре степеней неразрешимости индексных множеств.

В.Л. Селиванов (1979)

Algebra i Logika

Currently displaying 761 – 780 of 995

Previous Page 39 Next