EuDML | Browse

The search session has expired. Please query the service again.

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 93

Любое семейство подмножеств праэлементов порождает допустимое множество.

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

Sibirskij matematiceskij zurnal

Максимальные и всюду определенные функционалы.

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

Algebra i Logika

Машинно-независимое описание некоторых машинных классов сложности

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

Zapiski naucnych seminarov Leningradskogo

Нумерации семейств общерекурсивных функций

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

Sibirskij matematiceskij zurnal

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

А.Н. Хисамиев (2000)

Algebra i Logika

О вычислимости над моделями разрешимых теорий

В.Г. Пузаренко (2000)

Algebra i Logika

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

Р.Ю. Вайценавичюс (1990)

Algebra i Logika

О квазирезольвентных моделях $B$ -моделях

А.Н. Хисамиев (2001)

Algebra i Logika

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

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

Verojatnostnye metody i kibernetika

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

Ю.П. Ершов (1987)

Algebra i Logika

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

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

Algebra i Logika

О разрешимых вычислимых $𝔸$ -нумерациях.

В.Г. Пузаренко (2002)

Algebra i Logika

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

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

Verojatnostnye metody i kibernetika

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

В.А. Руднев (1988)

Algebra i Logika

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

Б.А. Трахтенброт, B.A. Trachtenbrot, B.A. Trahtenbrot, B.A. Trakhtenbrot (1963)

Algebra i Logika

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

Е.Я. Данцин (1976)

Zapiski naucnych seminarov Leningradskogo

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

Osvald Demuth, Rudolf Kryl, Antonín Kučera (1978)

Acta Universitatis Carolinae. Mathematica et Physica

Об одном классе рекурсивных иерархий.

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

Algebra i Logika

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

В.А. Руднев (1986)

Algebra i Logika

Об эффективных линейных порядках

А.Г. Пинус (1975)

Sibirskij matematiceskij zurnal

Currently displaying 61 – 80 of 93

Previous Page 4 Next