Measurement Automation Monitoring > 2015 > Vol. 61, No. 4 > 98--100
Source
Abstract
Identifiers
journal ISSN : | 2450-2855 |
Authors
Keywords
Additional information
Fields of science
Bibliography
-
[1] Post L.: Finite Combinatory Processes - Formulation 1. Journal of Symbolic Logic. Vol. 1, No. 3, pp. 103-105.
-
[2] Turing A. M.: On computable numbers, with an application to the Entscheidungsproblem . Proceedings of London Mathematical Society, Series 2. - Vol. 42, No. 3, 4, pp. 230-265.
-
[3] Kolmogorov A. N.: On the concept of algorithm. Uspekhi Mat. Nauk 8:4, pp. 175-176 (in Russian); translated into English in Uspensky V.A., Semenov A.L.: Algorithms: Main Ideas and Applications, Kluwer, 1993.