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

Displaying 661 – 680 of 995

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

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

Verojatnostnye metody i kibernetika

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

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

Zapiski naucnych seminarov POMI

Новое доказательство теоремы об экспоненциально диофантовом представлении перечислимых предикатов

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

Zapiski naucnych seminarov Leningradskogo

Нумерации семейств общерекурсивных функций

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

Sibirskij matematiceskij zurnal

Нумерация класса $ℂ_{20}^{*}$

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

Algebra i Logika

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

Н.Х. Касымов (1993)

Sibirskij matematiceskij zurnal

О $94_{3}^{0}$ -категоричности для линейных порядков и булевых алгебр.

Ч.Ф.Д. Мак-Кой (2002)

Algebra i Logika

О btt-сводимости.

Г.Н. Кобзев (1973)

Algebra i Logika

О btt-сводимости II.

Г.Н. Кобзев (1973)

Algebra i Logika

О e- и s-степенях

С.Д Захаров (1984)

Algebra i Logika

О tt- и m-степенях

А.Н. Дёгтев (1973)

Algebra i Logika

О tt-степенях рекурсивно-перечислимых тьюринговых степеней.

Г.Н. Кобзев (1979)

Algebra i Logika

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

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

Algebra i Logika

О биконъюнктивных классах сведения

В.П. Оревков (1971)

Zapiski naucnych seminarov Leningradskogo

О верхней полурешетке рекурсивно-перечислимых Q-степеней.

Р.Ш. Оманадзе (1984)

Algebra i Logika

О верхней полурешетке рекурсивно-перечислимых sQ-степеней.

Р.Ш. Оманадзе (1991)

Algebra i Logika

О внутренней перечислимости линейных порядков

А.Н. Хисамиев (2000)

Algebra i Logika

О выразимости в ограниченной арифметике второго порядка

А.А. Набебин (1977)

Sibirskij matematiceskij zurnal

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

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

Sibirskij matematiceskij zurnal

О вычислимости над моделями разрешимых теорий

В.Г. Пузаренко (2000)

Algebra i Logika

Currently displaying 661 – 680 of 995

Previous Page 34 Next