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 19 Next

Displaying 361 – 380 of 500

Ограниченные m-сводомости

Т.М. Маслова (1979)

Verojatnostnye metody i kibernetika

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

Е.З. Дымент (1977)

Sibirskij matematiceskij zurnal

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

М.М. Арсланов (1976)

Verojatnostnye metody i kibernetika

Одно простое синтаксическое определение всех классов иерархии Гжегорчика

С.В. Пахомов (1974)

Zapiski naucnych seminarov Leningradskogo

Одно свойство перечислимых множеств, содержащих "сложно выводимые" формулы

А.О. Слисенко (1971)

Zapiski naucnych seminarov Leningradskogo

Однородные $0^{'}$ -элементы в структурных предпорядках

А.С. Денисов (1989)

Algebra i Logika

Определимость булевых алгебр в $ℍ𝔽$ -надстройках

А.В. Ромина (2000)

Algebra i Logika

Ответ на один вопрос П.Р.Янга.

И.А. Лавров (1968)

Algebra i Logika

Относительные дополнения в $94_{2}^{0}$ -степенях по перечислимости

И.Ш. Калимуллин (2000)

Algebra i Logika

Отношение поглощения на регулярных множествах

С.Ю. Маслов (1976)

Zapiski naucnych seminarov Leningradskogo

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

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

Algebra i Logika

Перестановки и неявная определимость

А.С. Морозов (1988)

Algebra i Logika

Письмо в редакцию

В.Б. Лендер (1976)

Matematiceskij sbornik

Плотность решетки $m$ -степеней условных проблем

И.З. Васильева (1996)

Sibirskij matematiceskij zurnal

Подалгебры конечно-определенных лиевых алгебр.

Г.П. Кукин (1979)

Algebra i Logika

Подкольца конечно-определенных ассоциативных колец.

В.Я. Беляев (1978)

Algebra i Logika

Подходы к теории обобщенной вычислимости

И.В. Ашаев, В.Я. Беляев, А.Г. Мясников (1993)

Algebra i Logika

Позитивная рудиментарность графиков функций Аккермана и Гжегорчика

А.В. Проскурин (1979)

Zapiski naucnych seminarov Leningradskogo

Позитивные алгебры с конгруэнциями конечного индекса.

Н.Х. Казумов (1991)

Algebra i Logika

Позитивные алгебры со счетными решетками конгруэнций

Н.Х. Касымов (1992)

Algebra i Logika

Currently displaying 361 – 380 of 500

Previous Page 19 Next