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

Page 1 Next

Displaying 1 – 20 of 30

Алгорифмы Колмогорова сильнее машин Тьюринга

Д.Ю. Григорьев (1976)

Zapiski naucnych seminarov Leningradskogo

Временная сложность многомерных машин Тьюринга

Д.Ю. Григорьев (1979)

Zapiski naucnych seminarov Leningradskogo

Вычисление эффективных операторов на машинах Тьюринга с ограниченным стиранием

Н.В. Белякин, N.V. Beljakin, N.V. Belǎkin, N.V. Beljakin (1963)

Algebra i Logika

Вычисления на машинах Тьюринга в конечно-аксиоматизируемых теориях.

М.Г. Перетятькин (1983)

Algebra i Logika

Вычисления с оракулами: обобщённая селекция.

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

Sibirskij matematiceskij zurnal

Вычислимость с двуместным оракулом.

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

Sibirskij matematiceskij zurnal

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

Г.П. Зыкин (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

Currently displaying 1 – 20 of 30

Page 1 Next