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

Displaying 621 – 640 of 995

Машинное описание и иерархия начальных классов Гжегорчика

А.П. Бельтюков (1979)

Zapiski naucnych seminarov Leningradskogo

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

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

Zapiski naucnych seminarov Leningradskogo

Машины Тьюринга с двумя символами и двумя состояниями

Ю.А. Крюков (1967)

Algebra i Logika

Минимальные нумерации позитивно вычислимых семейств

С.А. Бадаев, S. A. Badaev, S. A. Badaev, S. A. Badaev (1994)

Algebra i Logika

Моделирование пульсирующего процесса

Е.В. Гайлит (2003)

Algebra i Logika

Мутационные исчисления

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

Zapiski naucnych seminarov Leningradskogo

Наследственно эффективные операции

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

Algebra i Logika

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

С.П. Одинцов (1992)

Algebra i Logika

Начальные сегменты в полурешетках Роджерса $Σ_{n}^{0}$ -вычислимых нумераций

С.Ю. Подзоров (2003)

Algebra i Logika

Неассоциативные кольца с одним определяющим соотношением, элементарные теории которых разрешимы

Ю.М. Важенин (1990)

Algebra i Logika

Неконструктивизируемость некоторых упорядоченных полей вещественных чисел.

Н.Г. Хисамиев (1987)

Sibirskij matematiceskij zurnal

Неконструктивизируемость редуцированной части сильно конструктивной абелевой группы без кручения

З.Г. Хисамиев, Н.Г. Хисамиев (1985)

Algebra i Logika

Некоторые алгоритмические проблемы для $ε$ -алгебр

А.И. Ширшов (1962)

Sibirskij matematiceskij zurnal

Некоторые вопросы обобщенной вычислимости.

Л.Н. Победин (1973)

Algebra i Logika

Некоторые вопросы теории рекурсивных функций.

Е.А. Поляков (1968)

Algebra i Logika

Некоторые модификации итерированной клиниевской вычислимости.

Е.Г. Никифорова (1986)

Algebra i Logika

Некоторые свойства алгебры всех частично рекурсивных функций

В.А. Соколов (1972)

Matematiceskie issledovanija

Некоторые свойства графиков функций иерархии Гжегорчика

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

Zapiski naucnych seminarov Leningradskogo

Некоторые свойства конструктивизации булевых алгебр

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

Sibirskij matematiceskij zurnal

Некоторые свойства ретрактов нумерации Поста.

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

Algebra i Logika

Currently displaying 621 – 640 of 995

Previous Page 32 Next