The domains of definition of effective operators over general recursive functions and of constructive functions of a real variable
Commentationes Mathematicae Universitatis Carolinae (1976)
- Volume: 017, Issue: 4, page 633-646
- ISSN: 0010-2628
Access Full Article
top
How to cite
topDemuth, Osvald. "Об областях определения эффективных операторов над общерекурсинными функциями и конструктивных функций действительной переменной." Commentationes Mathematicae Universitatis Carolinae 017.4 (1976): 633-646. <http://eudml.org/doc/16780>.
@article{Demuth1976,
author = {Demuth, Osvald},
journal = {Commentationes Mathematicae Universitatis Carolinae},
language = {rus},
number = {4},
pages = {633-646},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {Об областях определения эффективных операторов над общерекурсинными функциями и конструктивных функций действительной переменной},
url = {http://eudml.org/doc/16780},
volume = {017},
year = {1976},
}
TY - JOUR
AU - Demuth, Osvald
TI - Об областях определения эффективных операторов над общерекурсинными функциями и конструктивных функций действительной переменной
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1976
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 017
IS - 4
SP - 633
EP - 646
LA - rus
UR - http://eudml.org/doc/16780
ER -
References
top- МАРКОВ А. А., Теория алгорифмов, Труды Мат. Инст. им. В. А. Стеклова ХLII (1954). (1954) Zbl0995.90535
- ШАНИН Н. А., Конструктивные вещественные числа и конструктивные функциональные пространства, Труды Мат. инст. им. В. А. Стеклова XLII (1962), 15-894. (1962) Zbl1005.68507
- РОДЖЕРС X., Теория рекурсивных функций и эффективная вычислимость, Москва 1972. (1972) Zbl1170.01322
- ШАНИН Н. А., O конструктивном понимании математических суждений, Труды Мат. Инст. им. В. А. Стеклова LII (1958), 226-311. (1958) Zbl0101.04502
- MOSCHOVAKIS Y. N., Recursive metric spaces, Fundamenta Math. LV (1964), 215-238. (1964) Zbl0221.02015MR0182562
- ЦЕЙТИН Г. С, Три теоремы о конструктивных функциях, Труды Мат. инст. им. В. А. Стеклова LХХII (1964), 537-543. (1964) Zbl1117.65300
- ДЕТЛОВС В. К., Эквивалентность нормальных алгорифмов и рекурсивных функций, Труды Мат. Инст. им. В. А. Стеклова LII (1958), 75-139. (1958) Zbl0995.62501
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.