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

Displaying 901 – 920 of 995

Распознавание самопересечения плоской траектории алгорифмом Колмогорова

М.В. Кубинец (1973)

Zapiski naucnych seminarov Leningradskogo

Расширенные теории булевых алгебр.

З.А. Дулатова (1984)

Sibirskij matematiceskij zurnal

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

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

Zapiski naucnych seminarov Leningradskogo

Редкие и универсальные регрессивные изоли

В.Л. Михеев (1977)

Sibirskij matematiceskij zurnal

Рекурсивно несовместные алгоритмические проблемы на 1-конструктивизируемых дистрибутивных решетках с относительными дополнениями.

С.Т. Федоряев, S. T. Fedorjaev, S. T. Fedorǎev, S. T. Fedorjaev (1995)

Algebra i Logika

Рекурсивно-комбинаторные свойства подмножеств натуральных чисел

А.Н. Дегтев (1990)

Algebra i Logika

Рекурсивные однородные булевы алгебры

С.Ю. Подзоров (2001)

Algebra i Logika

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

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

Sibirskij matematiceskij zurnal

Решётка рекурсивно-перечислимых подалгебр рекурсивной булевой алгебры.

С.П. Одинцов (1986)

Algebra i Logika

Решетка рекурсивно-перечислимых подструктур эффективной системы замыканий

С.Л. Шохор, S. L. Šochor, S. L. Šohor, S. L. Šochor (1995)

Algebra i Logika

Сводимости по перечислимости

Е.А. Поляков, М.Г. Розинас (1977)

Sibirskij matematiceskij zurnal

Сводимость линейными по Жегалкину таблицами

В.К. Булитко (1980)

Sibirskij matematiceskij zurnal

Сводимость морфизмами

Т.М. Кузьмина (1983)

Verojatnostnye metody i kibernetika

Сводимость частично-рекурсивных функций

А.Н. Дегтев (1975)

Sibirskij matematiceskij zurnal

Сводимость частично-рекурсивных функций, II

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

Sibirskij matematiceskij zurnal

Свойства плотности решетки степеней по отделимости.

С.Г. Дворников, Т.В. Рыбина (1990)

Sibirskij matematiceskij zurnal

Свойства разложимости тотальных степеней по перечислимости

М.М. Арсланов, И.Ш. Калимуллин, С.Б. Купер (2003)

Algebra i Logika

Свойство t-ретрассируемости и автоморфизмы решетки рекурсивно-перечислимых множеств

Ю.Д. Шмидт (1989)

Algebra i Logika

Связь систем уравнений в словах и длинах с 10-й проблемой Гильберта

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

Zapiski naucnych seminarov Leningradskogo

Сегменты рекурсивно-перечислимых $m$ -степеней.

В.В. Вьюгин (1974)

Algebra i Logika

Currently displaying 901 – 920 of 995

Previous Page 46 Next