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
03D20 Recursive functions and relations, subrecursive hierarchies

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

Displaying 81 – 100 of 151

Игра Банаха-Мазура

Л.Р. Лисагор (1979)

Matematiceskij sbornik

Иерархии операторов в конструктивных метрических пространствах

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

Zapiski naucnych seminarov Leningradskogo

Изменение сложности функций при применении кратной рекурсии

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

Zapiski naucnych seminarov Leningradskogo

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

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

Algebra i Logika

Исчисление равенств для примитивно рекурсивных рациональнозначных функций

М.Х. Фахми (1973)

Zapiski naucnych seminarov Leningradskogo

Исчисления равенств для классов Гжегорчика $*^{n}$

М.Х. Фахми (1977)

Zapiski naucnych seminarov Leningradskogo

Итеративное описание класса $*^{1}$ иерархии Гжегорчика

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

Zapiski naucnych seminarov Leningradskogo

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

С.Г. Матвеева (1965)

Sibirskij matematiceskij zurnal

К теории вычислимых семейств объектов

А.И. Мальцев, A.I. Mal'cev, A.I. Mal'cev, A.I. Maltsev, A.I. Malcev (1964)

Algebra i Logika

Конструктивная классификация арифметических предикатов и семантические базисы арифметики

M.M. Кипнис (1968)

Zapiski naucnych seminarov Leningradskogo

Максимальная последовательность классов, преобразуемых примитивной рекурсией в заданный класс

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

Zapiski naucnych seminarov Leningradskogo

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

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

Zapiski naucnych seminarov Leningradskogo

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

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

Algebra i Logika

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

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

Algebra i Logika

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

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

Matematiceskie issledovanija

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

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

Zapiski naucnych seminarov Leningradskogo

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

Х.Х. Насибуллов (1968)

Algebra i Logika

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

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

Algebra i Logika

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

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

Algebra i Logika

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

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

Algebra i Logika

Currently displaying 81 – 100 of 151

Previous Page 5 Next