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

Displaying 241 – 260 of 500

О предполно нумерованных множествах

С.Г. Дворников (1979)

Sibirskij matematiceskij zurnal

О предполных классах алгоритмов, сохрахяющих принадлежность множеству I

Ю.В. Голунков (1980)

Verojatnostnye metody i kibernetika

О представимости групп $Σ$ -определимых перестановок над допустимыми множествами.

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

Algebra i Logika

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

B.B. Козьминых, V.V. Koz'minych, V.V. Koz'minyh, V.V. Koz'minykh (1974)

Algebra i Logika

О преобразованиях слов в полугруппе, заданной системой определяющих соотношений

С.И. Адян (1976)

Algebra i Logika

О проблеме изоморфизма для коммутативных полугрупп

М.А. Тайцлин (1974)

Matematiceskij sbornik

О проблеме равенства для алгебр Ли

Г.П. Кукин (1977)

Sibirskij matematiceskij zurnal

О проблеме тождества слов для дискриминаторных многообразий.

А.Г.****************************************(повтор) Пинус (1991)

Sibirskij matematiceskij zurnal

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

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

Algebra i Logika

О разрешимости теории булевых алгебр с выделенным идеалом

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

Sibirskij matematiceskij zurnal

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

Ю.В. Нагребецкая (2000)

Algebra i Logika

О разрешимых алгебрах Ли с одним определяющим соотношением.

В.В. Талапов (1981)

Sibirskij matematiceskij zurnal

О разрешимых вычислимых $𝔸$ -нумерациях.

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

Algebra i Logika

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

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

Zapiski naucnych seminarov Leningradskogo

О распознавании замещаемости в рекурсивных языках

A.В. Гладкий, A.V. Gladkij, A.V. Gladkij, A.V. Gladkii, A.V. Gladkij (1963)

Algebra i Logika

О распознавании инвариантных свойств алгорифмов

Н.К. Косовский (1973)

Zapiski naucnych seminarov Leningradskogo

О распознавании инвариантных свойств коротких алгорифмов

Н.К. Косовский (1979)

Zapiski naucnych seminarov Leningradskogo

О расширениях конструктивных линейных порядков.

К.Ж. Кудайбергенов (1999)

Sibirskij matematiceskij zurnal

О рациональном замыкании групповой алгебры линейно упорядоченной группы в теле рядов Мальцева.

Н.И. Дубровин (1991)

Sibirskij matematiceskij zurnal

О рекурсивно перечислимых минимальных btt-степенях

С.С. Марченков (1977)

Matematiceskij sbornik

Currently displaying 241 – 260 of 500

Previous Page 13 Next