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
03D25 Recursively (computably) enumerable sets and degrees

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

Page 1 Next

Displaying 1 – 20 of 113

$ε$ -principal numberings.

Degtev, A.N., Platonov, M.L. (2008)

Sibirskij Matematicheskij Zhurnal

Автоустойчивость и вычислимые семейства конструктивизаций.

С.С. Гончаров (1975)

Algebra i Logika

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

А.В. Гладкий (1964)

Algebra i Logika

Арифметические представления перечислимых множеств с небольшим числом кванторов

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

Zapiski naucnych seminarov Leningradskogo

Бесконечные множества простых чисел, допускающие диофантовы представления с восемью переменными

М.А. Всемирнов (1995)

Zapiski naucnych seminarov POMI

Верхняя полурешётка $L (γ)$ .

Ю.Л. Ершов, И.А. Лавров (1973)

Algebra i Logika

Верхняя полурешетка нумераций конечного множества.

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

Algebra i Logika

Выразимость в элементарной теории рекурсивно-перечислимых множеств с логикой реализуемости

Р.К. Пранк (1981)

Algebra i Logika

Гиперпростые m-степени.

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

Algebra i Logika

Две редукции 10-й проблемы Гильберта

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

Zapiski naucnych seminarov Leningradskogo

Две теоремы о вычислимых нумерациях

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

Algebra i Logika

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

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

Algebra i Logika

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

А.Б. Хуторецкий (1969)

Algebra i Logika

Двухэлементное отделимое нумерованное множество $γ$ с неразрешимой проблемой $P (γ, γ)$ .

С.Д. Денисов (1975)

Algebra i Logika

Дефицитные множестба рекурсивно перечислимых множеств и их разностей

А.Р. Сабирзянов (1987)

Verojatnostnye metody i kibernetika

Дополнение к статье Ю.Л.Ершова"Верхняя полурешетка нумераций конечного множества".

Е.А. Палютин, E.A. Paljutin, E.A. Palǔtin, E.A. Palyutin (1975)

Algebra i Logika

Импликативно селекторные множества.

А.Н. Дëгтев, A. N. Dëgtev, A. N. Dëgtev, A. N. Dëgtev (1996)

Algebra i Logika

Индексные множества классов гипер-гиперпростых множеств

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

Algebra i Logika

Итерированная клиниевская вычислимость и суперджамп

Н.В. Белякин (1976)

Matematiceskij sbornik

К строению семейств иммунных, гипериммунных и гипергипериммунных можеств

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

Matematiceskij sbornik

Currently displaying 1 – 20 of 113

Page 1 Next