02F99
- : Об областях определения эффективных операторов над общерекурсинными функциями и конструктивных функций действительной переменной. (Russian) [The domains of definition of effective operators over general recursive functions and of constructive functions of a real variable]. Commentationes Mathematicae Universitatis Carolinae, vol. 17 (1976), issue 4, pp. 633-646
- : On changes of input/output coding. II. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 15 (1974), issue 1, pp. 1-17
- : On changes of input/output coding. I. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 14 (1973), issue 4, pp. 623-645
Search
Partner of
