Author: Demuth, O.
-
Demuth, O.:
О конструктивном интеграле Перрона.
(Russian) [On the constructive Perron integral].
Acta Universitatis Carolinae. Mathematica et Physica,
vol. 21
(1980),
issue 1,
pp. 3-57
-
Demuth, O.; Polívka, J.:
О представимости линейных функционалов в пространстве шифров равномерно непрерывных на сегменте $0\triangle 1$ конструктивных функций.
(Russian) [The representation of linear functionals in the space of codes of constructive functions that are uniformly continuous on the segment $0\triangle 1$ of constructive functions].
Commentationes Mathematicae Universitatis Carolinae,
vol. 20
(1979),
issue 4,
pp. 765-780
-
Demuth, O.:
Некоторые вопросы теории конструктивных функций действительной переменной.
(Russian) [Some problems of the theory of constructive real functions].
Acta Universitatis Carolinae. Mathematica et Physica,
vol. 19
(1978),
issue 1,
pp. 61-96
-
Demuth, O.; Kryl, R.; Kučera, A.:
Об использовании теории функций частично-рекурсивных относительно числовых множеств в конструктивной математике.
(Russian) [On the applications of the theory of partially-recursive functions with respect to the sets in constructive mathematics].
Acta Universitatis Carolinae. Mathematica et Physica,
vol. 19
(1978),
issue 1,
pp. 15-60
Partner of