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

Displaying 41 – 60 of 64

Замечание об одной теореме Хао Вана

Г.П. Зыкин (1963)

Algebra i Logika

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

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

Zapiski naucnych seminarov Leningradskogo

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

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

Sibirskij matematiceskij zurnal

Квазисоотношения в свободной группе и проблемы эквивалентности преобразователей.

Л.П. Лисовик (1986)

Algebra i Logika

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

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

Zapiski naucnych seminarov Leningradskogo

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

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

Zapiski naucnych seminarov Leningradskogo

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

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

Algebra i Logika

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

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

Algebra i Logika

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

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

Algebra i Logika

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

А.М. Слободскoй (1981)

Algebra i Logika

Нижняя оценка поворотной сложности для машин Тьюринга

Г.К. Лаздиня (1987)

Verojatnostnye metody i kibernetika

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

Н.А. Плотникова (1983)

Sibirskij matematiceskij zurnal

О распознавании в реальное время отношения вхождения

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

Zapiski naucnych seminarov Leningradskogo

Об одном классе машин Тьюринга (машины Минского)

Я.М. Барздинь, Ja.M. Barzdin', Ǎ.M. Barzdin', Ja.M. Barzdin' (1962)

Algebra i Logika

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

Р.В. Ганова (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

Currently displaying 41 – 60 of 64

Previous Page 3 Next