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

Previous Page 4 Next

Displaying 61 – 80 of 149

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

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

Sibirskij matematiceskij zurnal

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

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

Zapiski naucnych seminarov POMI

Новое доказательство теоремы об экспоненциально диофантовом представлении перечислимых предикатов

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

Zapiski naucnych seminarov Leningradskogo

О btt-сводимости.

Г.Н. Кобзев (1973)

Algebra i Logika

О btt-сводимости II.

Г.Н. Кобзев (1973)

Algebra i Logika

О tt- и m-степенях

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

Algebra i Logika

О tt-степенях рекурсивно-перечислимых тьюринговых степеней.

Г.Н. Кобзев (1979)

Algebra i Logika

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

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

Algebra i Logika

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

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

Algebra i Logika

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

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

Verojatnostnye metody i kibernetika

О вычислимых нумерациях.

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

Algebra i Logika

О вычислимых нумерациях. II.

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

Algebra i Logika

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

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

Algebra i Logika

О кратной m-сводимости индексных множеств.

З.Г. Хисамиев (1984)

Sibirskij matematiceskij zurnal

О минимальных 1-степенях и табличной сводимости.

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

Sibirskij matematiceskij zurnal

О неглавных нумерациях.

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

Algebra i Logika

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

В.В. Вьюгин (1973)

Algebra i Logika

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

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

Algebra i Logika

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

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

Verojatnostnye metody i kibernetika

О некоторых свойствах решетки Медведева

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

Matematiceskij sbornik

Currently displaying 61 – 80 of 149

Previous Page 4 Next