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

Displaying 181 – 200 of 500

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

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

Algebra i Logika

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

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

Algebra i Logika

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

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

Sibirskij matematiceskij zurnal

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

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

Sibirskij matematiceskij zurnal

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

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

Algebra i Logika

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

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

Verojatnostnye metody i kibernetika

О вычислимости с функционалами

В.И. Амстиславский (1973)

Algebra i Logika

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

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

Algebra i Logika

О вычислимых нумерациях.

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

Algebra i Logika

О вычислимых нумерациях. II.

Ю.Л. Ершов, И.А. Лавров (1969)

Algebra i Logika

О вычислимых нумерациях семейств общерекурсивных функций

С.А. Бадаев (1977)

Algebra i Logika

О гипотезе В.А. Успенского

Ю.Л. Ершов, Ju.L. Eršov, Ǔ. L. Eršov, Ju.L. Ersov (1962)

Algebra i Logika

О гипотезе Д. Скордева

А.В. Дичев (1985)

Algebra i Logika

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

Р.Ю. Вайценавичюс (1990)

Algebra i Logika

О гомоморфизмах на негативные алгебры

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

Algebra i Logika

О группах Новикова

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

Algebra i Logika

О группах с $k$ -сократимым базисом.

А.В. Гладкий (1961)

Sibirskij matematiceskij zurnal

О диофантовых представлениях последовательности решений уравнения Пелля

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

Zapiski naucnych seminarov Leningradskogo

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

А.П. Семигродских (2001)

Algebra i Logika

О канонических рекурсивных функциях и операциях

Н.А. Шанин (1979)

Zapiski naucnych seminarov Leningradskogo

Currently displaying 181 – 200 of 500

Previous Page 10 Next