Замечаниe об областях определения конструктивных функций
Б.А. Кушнер (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Displaying similar documents to “Об иерархии конструктивных функционалов Брауэра”
Замечаниe об областях определения конструктивных функций
О конструктивных операторах конечных типов
В.П. Чернов (1973)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Об исследовании конструктивных функций методом заполнений
В.А. Лифшиц (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Вычислимые функционалы и арифметика ординальных типов
В.А. Ганов (1986)
Sibirskij matematiceskij zurnal
Similarity:
О конструктивных аналитических функциях одной вещественной переменной
В.А. Лифшиц (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О непрерывности конструктивных функционалов
В.П. Оревков (1971)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Условия эффективной бесконечности множества вычислимых индексаций класса конструктивных моделей.
В.П. Добрица (1994)
Sibirskij matematiceskij zurnal
Similarity:
О конструктивных группах
В.А. Лифшиц (1967)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О выразимости функционалов в языке Д.Скотта LCF
В.Ю. Сазонов (1976)
Algebra i Logika
Similarity:
Словарные операторные алгорифмы
А.Г. Драгалин (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
О конструктивных периодических абелевых группах.
В.П. Добрица, А.Т. Нуртазин, Н.Г. Хисамиев (1978)
Sibirskij matematiceskij zurnal
Similarity:
Некоторые примеры квазиплотных, но не плотных множеств дуплексов
Б.А. Кушнер (1968)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Об интегрируемости производных от конструктивных функций
Osvald Demuth (1970)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Сложность индексного множества конструктивной модели
В.П. Добрица (1983)
Algebra i Logika
Similarity: