Исчисление равенств для примитивно рекурсивных рациональнозначных функций
М.Х. Фахми (1973)
Zapiski naucnych seminarov Leningradskogo
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 “Доказательство несовпадения классов простых примитивно рекурсивных функций”
Исчисление равенств для примитивно рекурсивных рациональнозначных функций
Одно простое синтаксическое определение всех классов иерархии Гжегорчика
С.В. Пахомов (1974)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Максимальная последовательность классов, преобразуемых примитивной рекурсией в заданный класс
А.П. Бельтюков (1977)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Вложение И Совпадение Некоторых Классов Функций
Б. Лаковић (1980)
Publications de l'Institut Mathématique
Similarity:
Некоторые вопросы теории рекурсивных функций.
Е.А. Поляков (1968)
Algebra i Logika
Similarity:
Машинно-независимое описание некоторых машинных классов сложности
С.В. Пахомов (1979)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О сравнении индексов, возникающих при трансфинитной итерации функций.
В.И. Амстиславский (1973)
Sibirskij matematiceskij zurnal
Similarity:
О порождении 2-местных примитивно-рекурсивных функций
С.А. Березин (1972)
Matematiceskie issledovanija
Similarity:
Об одной категории частично рекурсивных функций
А.Н. Дёгтев (1980)
Sibirskij matematiceskij zurnal
Similarity:
Характеристика сложности рекурсивных предикатов, не зависящая от стандартизации понятия алгорифма
Р.И. Фрейдзон (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Индуктивные представления булевых функций и конечная порождаемость классов Поста.
Г.П. Гаврилов (1984)
Algebra i Logika
Similarity:
Табличные аппроксимации рекурсивных предикатов
Р.И. Фрейдзон (1974)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Изменение сложности функций при применении кратной рекурсии
Е.Я. Данцин (1973)
Zapiski naucnych seminarov Leningradskogo
Similarity: