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
03D10 Turing machines and related notions

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 2

Displaying 21 – 30 of 30

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

Р.В. Ганова (1993)

Algebra i Logika

Обобщенные вычисления с оракулами

А.Н. Гамова (1988)

Algebra i Logika

Подходы к теории обобщенной вычислимости

И.В. Ашаев, В.Я. Беляев, А.Г. Мясников (1993)

Algebra i Logika

Проблема остановки и теория иерархий.

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

Algebra i Logika

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

Р.И. Фрейдзон (1971)

Zapiski naucnych seminarov Leningradskogo

Схемы программ и эффективные функционалы конечных типов

В.Д. Соловьев (1983)

Verojatnostnye metody i kibernetika

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

А.Г. Иванов (1979)

Zapiski naucnych seminarov Leningradskogo

Тьюринговы вычисления с логарифмическим замедлением

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

Algebra i Logika

Упрощенное доказательство распознаваемости симметричности слов в реальное время на машинах Тьюринга

А.О. Слисенко (1977)

Zapiski naucnych seminarov Leningradskogo

Финитно-аппроксимационный подход к изучению сложности рекурсивных предикатов

Р.И. Фрейдзон (1975)

Zapiski naucnych seminarov Leningradskogo

Currently displaying 21 – 30 of 30

Previous Page 2