Словарные операторные алгорифмы
А.Г. Драгалин (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Displaying similar documents to “Вычислимость примитивно рекурсивных термов конечного типа и примитивно рекурсивная реализация”
Словарные операторные алгорифмы
Замечаниe об областях определения конструктивных функций
Б.А. Кушнер (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Некоторые примеры квазиплотных, но не плотных множеств дуплексов
Б.А. Кушнер (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Конструктивная классификация арифметических предикатов и семантические базисы арифметики
M.M. Кипнис (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Некоторые замечания о поиске вывода в исчислении предикатов
Г.В. Давыдов (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О системе операторов, упрощающих теорию сочетаний К-алгорифмов
Н.К. Косовский (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О конструктивных аналитических функциях одной вещественной переменной
В.А. Лифшиц (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Построение основных операторов теории сочетаний К-алгорифмов из операторов простых типов
Н.К. Косовский (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Неразрешимость элементарной теории поля рациональных функций от одного переменного с рациональными коффинциентами
Р.М. Робинсон, Rafael' M. Robinson, Rafael' M. Robinson, Rafael' M. Robinson (1963)
Algebra i Logika
Similarity:
Связь интегрируемости конструктивных функций по Риману и по Лебегу
O. Демут (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Георг Кантор как автор конструкций, играющих фундаментальные роли в конструктивной математике
Н.А. Шанин (1995)
Zapiski naucnych seminarov POMI
Similarity:
К тридцатилетию Сибирского отделения АН СССР.
([unknown])
Sibirskij matematiceskij zurnal
Similarity:
О частотном вычислении функций
Б.А. Трахтенброт, B.A. Trachtenbrot, B.A. Trahtenbrot, B.A. Trakhtenbrot (1963)
Algebra i Logika
Similarity:
Вычисление эффективных операторов на машинах Тьюринга с ограниченным стиранием
Н.В. Белякин, N.V. Beljakin, N.V. Belǎkin, N.V. Beljakin (1963)
Algebra i Logika
Similarity:
О базисах алгебр рекурсивных функций
И.А. Лавров, Е.А. Поляков (1966)
Sibirskij matematiceskij zurnal
Similarity:
О точных представлениях частично упорядоченных множеств конечного типа
М.М. Клейнер (1972)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Неразрешимость проблемы вхождения в группах Артина конечного типа.
В.Н. Безверхний (1985)
Sibirskij matematiceskij zurnal
Similarity: