О представлении частично-рекурсиных функций с некоторыми условиями в виде суперпозиций
B.B. Козьминых, V.V. Koz'minych, V.V. Koz'minyh, V.V. Koz'minykh (1974)
Algebra i Logika
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “О построении разрешимых сингулярных теорий двух функций следования с дополнительным предикатом.”
О представлении частично-рекурсиных функций с некоторыми условиями в виде суперпозиций
О мощности множества максимальных подалгебр алгебры частично рекурсивных функций.
А.И. Щеглов (1968)
Algebra i Logika
Similarity:
Некоторые вопросы обобщенной вычислимости.
Л.Н. Победин (1973)
Algebra i Logika
Similarity:
О неглавных нумерациях.
А.Б. Хуторецкий (1969)
Algebra i Logika
Similarity:
О противоречивости метатеории Нудельмана
В.А. Ганов, V. A. Ganov, V. A. Ganov, V. A. Ganov (1995)
Algebra i Logika
Similarity:
О существовании рекурсивно-перечислимых минимальных табличных степеней.
С.С. Марченков (1975)
Algebra i Logika
Similarity:
О некоторых примерах верхних полурешеток вычислимых нумераций.
В.В. Вьюгин (1973)
Algebra i Logika
Similarity:
Выразимость в элементарной теории рекурсивно-перечислимых множеств с логикой реализуемости
Р.К. Пранк (1981)
Algebra i Logika
Similarity:
О btt-сводимости.
Г.Н. Кобзев (1973)
Algebra i Logika
Similarity:
О btt-сводимости II.
Г.Н. Кобзев (1973)
Algebra i Logika
Similarity:
Некоторые свойства ретрактов нумерации Поста.
И.А. Лавров (1974)
Algebra i Logika
Similarity: