References
L. P. Lisovik, “Algorithmic topics forR-functions,” Kibernetika, No. 1, 12–17 (1987).
L. P. Lisovik, “Operations onR-numbers,” Kibernetika, No. 2, 1–7 (1990).
B. A. Kushner, Lectures in Constructive Mathematical Analysis [in Russian], Nauka, Moscow (1973).
L. P. Lisovik, “On the equivalence problem for transformers on Σ-trees with finite-turnaround counters,” Kibernetika, No. 5, 19–24 (1984).
A. N. Kolmogorov and S. V. Fomin, Elements of the Theory of Functions and Functional Analysis [in Russian], Nauka, Moscow (1968).
K. Kuratowski, Topology [Russian translation], Vol. 1, Mir, Moscow (1966).
L. P. Lisovik, “On classes of functions defined by transformers,” Kibernetika, No. 6, 1–7 (1990).
Additional information
Translated from Kibernetika i Sistemnyi Analiz, No. 1, pp. 13–22, January–February, 1995.
Rights and permissions
About this article
Cite this article
Lisovik, L.P., Drobyshev, P.V. Decidability problems for meta-R-functions. Cybern Syst Anal 31, 8–14 (1995). https://doi.org/10.1007/BF02366790
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02366790