03 Mathematical logic and foundations
03Dxx Computability and recursion theory
03D99 None of the above, but in this section (7 articles)
-
Lukavcová, Milena:
On computable real functions.
(English).
Kybernetika,
vol. 16
(1980),
issue 3,
pp. (240)-247
-
Demuth, Osvald:
Об областях определения эффективных операторов над общерекурсинными функциями и конструктивных функций действительной переменной.
(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
-
Kent, Clement F.:
“Disorder” in lattices of binumerations.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 15
(1974),
issue 2,
pp. 221-244
-
Chytil, Michal P.:
On changes of input/output coding. II.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 15
(1974),
issue 1,
pp. 1-17
-
Palúch, Stanislav:
The lattices of numerations of theories containing Peano's arithmetic.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 14
(1973),
issue 2,
pp. 339-359
-
Chytil, Michal P.:
On changes of input/output coding. I.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 14
(1973),
issue 4,
pp. 623-645
-
Frolík, Zdeněk:
A note on the Souslin operations.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 9
(1968),
issue 4,
pp. 641-650