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

Displaying 561 – 580 of 995

Две редукции 10-й проблемы Гильберта

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

Zapiski naucnych seminarov Leningradskogo

Две системы доказательства тавтологичности, основанные на методе расщеплений

Е.Я. Данцин (1981)

Zapiski naucnych seminarov Leningradskogo

Две теоремы о вычислимых нумерациях

В.Л. Селиванов (1976)

Algebra i Logika

Две теоремы о рекурсивно перечислимых множествах.

М.М. Арсланов (1968)

Algebra i Logika

Две теоремы о сложности алгорифмов и вычислений

Н.В. Петри (1969)

Zapiski naucnych seminarov Leningradskogo

Две теоремы существования для вычислимых нумераций.

А.Б. Хуторецкий (1969)

Algebra i Logika

Двухэлементное отделимое нумерованное множество $γ$ с неразрешимой проблемой $P (γ, γ)$ .

С.Д. Денисов (1975)

Algebra i Logika

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

А.Р. Сабирзянов (1987)

Verojatnostnye metody i kibernetika

Диофантова сложность

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

Zapiski naucnych seminarov Leningradskogo

Дискретные семейства рекурсивных функций и индексные множества

М. Куммер, С. Вехнер, Йи Ксяо-Динг, M. Kummer (1994)

Algebra i Logika

Дистрибутивные решетки подпространств и проблема равенства для алгебр с одним соотношением

В.Н. Герасимов (1976)

Algebra i Logika

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

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

Zapiski naucnych seminarov Leningradskogo

Дополнение к статье Ю.Л.Ершова"Верхняя полурешетка нумераций конечного множества".

Е.А. Палютин, E.A. Paljutin, E.A. Palǔtin, E.A. Palyutin (1975)

Algebra i Logika

Ещё несколько примеров неразрешимых теорий

М.А. Тайцлин, M.A. Tajclin, M.A. Tajclin, M.A. Taislin (1967)

Algebra i Logika

Еще раз о вопросе Хигмана

А.С. Морозов (2000)

Algebra i Logika

Ещё раз о счетно-категоричных предложениях.

А.С. Морозов (1999)

Sibirskij matematiceskij zurnal

Задача эффективного выбора конструктивизаций и рекурсивная совместимость проблем на конструктивных моделях

Ю.Г. Венцов (1992)

Algebra i Logika

Замечаниe о группе Борисова-Буна.

Л.А. Бокуть (1985)

Sibirskij matematiceskij zurnal

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

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

Algebra i Logika

Замечания к работе Р. Бергера о проблеме домино

Ю.Ш. Гуревич, И.О. Коряков (1972)

Sibirskij matematiceskij zurnal

Currently displaying 561 – 580 of 995

Previous Page 29 Next